Lecture Video Content by Conference

Title Speaker Type
Univalence as a New Principle of Logic Steve Awodey Thu, Oct 2, 2014 Lecture Video
Potential Infinity: A modal account Stewart Shapiro Thu, Mar 3, 2016 Lecture Video
Theory Reduction, Algebraic Number Theory,... Emily Grosholtz Thu, Mar 16, 2017 Lecture Video
Philosophy of Mathematics as a Design Science Jeremy Avigad Thu, Mar 15, 2018 Lecture Video