
Complexity Theory and Model Theory Seminars 2002
Schedule
Mondays, 3:30  4:30 p.m.
March 25 
Charles Steinhorn 
Ominimality: a gentle introduction 
February 25 
Neil Thapen, Oxford U. 
Models of bounded arithmetic 
February 11 
Alasdair Urquhart 
The zeta(2) limit in the random assignment
problem 
January 28 
Leonid Libkin 
The model theory of strings (and some
database applications) 
January 21 
Toni Pitassi

Using Hardness to Prove Frege Lower
Bounds 

