Dates

Tuesday, August 15, 2017 - 11:00am to Tuesday, August 15, 2017 - 01:00pm

Location

Room 220 (50 Seats)

Event Description

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

Event Title

Smolka Visitor