skip to main content
Caltech
Home  /  Institute Calendar  /  Other Events on this Day

Mathematics of Information Seminar

Tuesday, February 19, 2008
4:00pm to 5:30pm
Add to Cal
Moore 239
Formal Verification of Hybrid Systems
"Formal Verification of Hybrid Systems," Sayan Mitra, postdoctoral scholar, Center for the Mathematics of Information, Caltech.
For more information, please contact Maria Lopez by phone at 626.395.3034 or by email at [email protected].
Event Series
Center for the Mathematics of Information (CMI) Seminar Series
Event Sponsors
Computing and Mathematical Sciences (CMS) More Events from this Sponsor