Slides of Talks

Tutorials

• Uri Andrews, Computable model theory: Part 1, Part 2, Part 3
• Thierry Coquand, Univalent Type Theory: Part 1, Part 2, Part 3

Other talks

• Laurent Bienvenu, Randomized algorithms in computability theory
• Robert Goldblatt, Spatial logic of tangled closure and derivative operators
• Itay Kaplan, Developments in unstable theories focusing on NIP and NTP${}_2$
• Farmer Schlutzenberg, Ordinal definability in extender models
• Stevo Todorcevic, Basis Problems in Set Theory
• Boris Zilber, On the semantics of algebraic quantum mechanics and the role of model theory