Monday, April 18, 2011
Monday, April 18th, 2011
4:00pm
–
5:00pm
Add to Cal
Computing + Mathematical Sciences Lecture
Software Synthesis using Automated Reasoning
Ruzica Piskac,
Ecole Polytechnique Federal de Lausanne, Switzerland,
4:15pm
–
5:15pm
Add to Cal
Applied Mathematics Colloquium
Nonlocal Maximum Principles for Active Scalars
Alex Kiselev,
professor of mathematics,
University of Wisconsin, Madison,