| Date |
Speaker |
Subject |
| June 17 |
Professor Reha Tütüncü, CMU |
Formulating and Solving Optimization Problems |
| June 19 |
Matt Bishop, Graduate Student, CMU |
Automated Theorem Proving |
| June 24 |
Rachel Rue, Graduate Student, CMU |
Independent Sets in Grids |
| June 26 |
Professor Bard Ermentrout, U. Pittsburgh |
Synching in the Brain |
| July 1 |
Professor Steve Shreve, CMU |
A Mathematical Model for European Options |
| July 2 |
Professor Deborah Brandon, CMU |
A Non-local Variational Problem |
| July 10 |
Dr. Ann Cox, NSA |
Cryptography in your future: Smartcards |
| July 15 |
Professor Bill Layton, U. Pittsburgh |
Simulating Fluid Flow by Finite Element Methods |
