The 2016 Tarski Lectures were given by William Tait, of the University of Chicago, on April 4th, April 6th, and April 8th. Each lecture begins at 4:10pm. Following is a breakdown of the lectures:
Monday, April 4, 2016
On Skepticism about the Ideal
4:10 - 5:00 pm
20 Barrows Hall
Wednesday, April 6, 2016
Cut Elimination for Subsystems of Second Order Number Theory: The Predicative Case
4:10 - 5:00 pm
20 Barrows Hall
Friday, April 8, 2016
Cut-Elimination for Π11Π11 − CA with the ω-Rule – and Beyond (?)
4:10 - 5:00 pm
20 Barrows Hall