Friday, January 14th, 2005
3:00pm
–
4:00pm
Add to Cal
Thesis Seminar
Optimization-Based Methods for Nonlinear and Hybrid Systems Verification
4:00pm
–
5:00pm
Add to Cal
Center for the Mathematics of Information Seminar
Information, Control, and Statistical Mechanics