SCIENTIFIC PROGRAMS AND ACTIVITIES

Please note that this is a page for a program or event far in the past. It contains archival information only, as things were at the time of the event.
None of this information is current.

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