| 4:00 pm - 5:00 pm |
Moore B270
Software Synthesis using Automated Reasoning
|
|
| 4:00 pm - 5:00 pm |
Cahill, Hameetman Auditorium
Ground-based Exoplanet Imaging: New Science Programs and the Prospects for Discovery
|
|
| 4:00 pm - 5:00 pm |
Beckman Institute Auditorium
The Role of Fluctuation Theorems in Experimental Biology
|
|
| 4:15 pm - 5:15 pm |
Annenberg 105
Nonlocal Maximum Principles for Active Scalars
Alex Kiselev,
professor of mathematics,
University of Wisconsin, Madison,
|
|