[Center for Nonlinear Analysis, Carnegie Mellon University]

Summer Institute 97
Research Presentations

Date
Speaker
Subject
June 17
Professor Reha Tutuncu
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