Apr29

Colloquium

Verification of Cyber-Physical Systems with Synchronous Programming and Refinement Types

Wednesday, April 29, 2026, 2:00 p.m.-3:20 p.m. | Piscataway

May6

Seminar

1st National Symposium on Wildfires and Their Impact on the Environment and Health

Wednesday, May 06, 2026, 8:00 a.m.-5:30 p.m. | Richard Weeks Hall of Engineering, Piscataway