SCIENTIFIC PROGRAMS AND ACTIVITIES

September  1, 2014

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