Institution Audience
Speaker Edited within hours
Affiliation Livestream available
Date Time
Times in UTC (now UTC +0)
Your timeSeriesSpeakerTitle
ThuMay 2817:00Topos Institute ColloquiumSimon WillertonThe projection formula, extranatural transformations and surface diagrams
WedJun 0318:00New York City Category Theory SeminarJoseph HelferSet-theoretic universes and paradoxes in elementary 2-topoi.
ThuJun 0417:00Topos Institute ColloquiumHelle Hvid HansenCoalgebraic Dynamic Logics
ThuJun 1117:00Topos Institute ColloquiumJoe MoellerA unifying framework for control barrier functions
ThuJun 1817:00Topos Institute ColloquiumRichard BluteTBA
ThuJun 2517:00Topos Institute ColloquiumAstra KolomatskaiaTBA
ThuJul 0217:00Topos Institute ColloquiumMatt PrewittTBA
ThuJul 0917:00Topos Institute ColloquiumMike StayTBA
ThuJul 1617:00Topos Institute ColloquiumTimothy CampionTBA
ThuSep 0317:00Topos Institute ColloquiumKris BrownTBA
ThuSep 1017:00Topos Institute ColloquiumMarie KerjeanTBA
ThuSep 1717:00Topos Institute ColloquiumJiří RosickýTBA
ThuOct 0117:00Topos Institute ColloquiumThierry CoquandTBA
ThuOct 0817:00Topos Institute ColloquiumDominik TrnkaTBA
ThuOct 1517:00Topos Institute ColloquiumAlexandra SilvaTBA
ThuOct 2217:00Topos Institute ColloquiumAndrew PittsTBA
ThuOct 2917:00Topos Institute ColloquiumJonathan WeinbergerTBA
ThuNov 0517:00Topos Institute ColloquiumDavid AyalaTBA
ThuNov 1217:00Topos Institute ColloquiumViktoriya OzornovaTBA
ThuNov 1917:00Topos Institute ColloquiumMartina RovelliTBA
ThuDec 0317:00Topos Institute ColloquiumTomas GondaTBA
ThuDec 1017:00Topos Institute ColloquiumBas SpittersTBA
ThuJan 2817:00Topos Institute ColloquiumIvan Di LibertiTBA