Location

Room 220 (50 Seats)

Event Description

**Inductive Invariants and Abstractions of Continuous Dynamical
> Systems** by Ashish Tiwari, SRI

Event Title

Smolka Visitor