Lecture Video Content by Subject Area

Title Speaker Date
Alan Turing and the Decision Problem Richard Zach 2012-01-24 15
Turing's Real Machines Michael R. Williams 2012-02-28 16
Alan Turing and Enigma John R. Ferris 2012-03-27 16
Univalence as a New Principle of Logic Steve Awodey 2014-10-02 (All day)