Smolka Visitor

Dates: 
Tuesday, August 15, 2017 - 11:00 to 13:00
Location: 
Room 220 (50 Seats)

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

Computed Event Type: 
Mis
Event Title: 
Smolka Visitor