Topos Institute Colloquium

External homepage

Computer science algebraic topology category theory logic

Audience: Learners
Seminar series times: No fixed schedule
Organizer: Tim Hosgood*
*contact for this listing
Upcoming talks
Past talks
Your timeSpeakerTitle
ThuApr 2217:00Shaowei LinProofs as programs: challenges and strategies for program synthesis
ThuApr 2917:00Jonathan GorardFast Diagrammatic Reasoning and Compositional Approaches to Fundamental Physics
ThuMay 0617:00Emily RiehlContractibility as uniqueness
ThuMay 1317:00Maria Emilia Maietti[Title TBA]
ThuMay 2017:00Tobias Fritz[Title TBA]
ThuMay 2717:00Steve Awodey[Title TBA]
ThuJun 0317:00Michael Shulman[Title TBA]
ThuJun 1017:00Eugene Lerman[Title TBA]
ThuJun 1717:00Chris Heunen[Title TBA]
ThuJun 2418:00Kathryn Hess[Title TBA]
ThuJul 0817:00Geoffrey Cruttwell[Title TBA]
ThuJul 2217:00Walter P Tholen[Title TBA]
ThuJul 2922:00Marcy Robertson[Title TBA]
ThuAug 0517:00Todd Trimble[Title TBA]
ThuSep 0917:00John Bourke[Title TBA]
ThuSep 2317:00Andrew J. Blumberg[Title TBA]
ThuSep 3015:00Pawel Sobocinski[Title TBA]
Embed this schedule
Your timeSpeakerTitle
ThuApr 1517:00Asgar JamneshanTopos theory and measurability
ThuApr 0817:00Joachim KockNoncrossing hyperchords and free probability
ThuApr 0117:00Dan ChristensenReasoning in an ∞-topos with homotopy type theory
ThuMar 2518:00John BaezMathematics in the 21st century
ThuMar 1117:00Samson AbramskyThe logic of contextuality
ThuFeb 1817:00Gunnar E. CarlssonRelative topology, motion planning, and coverage problems
ThuFeb 1121:00Richard GarnerComodels of an algebraic theory
ThuFeb 0417:00David SpivakPoly: a category of remarkable abundance
Embed this schedule
Export series to