SCIENTIFIC PROGRAMS AND ACTIVITIES

Complexity Theory and Model Theory Seminars 2002

Schedule

Mondays, 3:30 - 4:30 p.m.

March 25	Charles Steinhorn	O-minimality: 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