Institution Audience
Speaker Edited within hours
Affiliation Livestream available
Date Time
Times in UTC (now UTC +0)
Your timeSeriesSpeakerTitle
ThuOct 1517:00Topos Institute ColloquiumAlexandra SilvaWeighted NetKAT: A Programming Language for Quantitative Network Verification
ThuOct 2217:00Topos Institute ColloquiumAndrew PittsSetoids in Intensional Type Theory
ThuOct 2917:00Topos Institute ColloquiumJonathan WeinbergerUniverses in simplicial homotopy type theory
ThuNov 0517:00Topos Institute ColloquiumDavid AyalaValent higher groupoids are flagged spaces, and consequences
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
ThuFeb 0417:00Topos Institute ColloquiumTeena GerhardtTBA
ThuFeb 1117:00Topos Institute ColloquiumN. Katherine HaylesTBA
ThuFeb 1817:00Topos Institute ColloquiumEvan CavalloTBA
ThuFeb 2517:00Topos Institute ColloquiumAudrey TangTBA
ThuMar 0417:00Topos Institute ColloquiumKate PontoTBA
ThuMar 1117:00Topos Institute ColloquiumColin McLartyTBA
ThuMar 1817:00Topos Institute ColloquiumFernando PerezTBA
ThuMar 2517:00Topos Institute ColloquiumCatherine MeusburgerTBA
ThuApr 0117:00Topos Institute ColloquiumNoam ZeilbergerTBA
ThuApr 0817:00Topos Institute ColloquiumDavid GepnerTBA
ThuApr 1517:00Topos Institute ColloquiumFrancis SuTBA
ThuApr 2217:00Topos Institute ColloquiumMike ShulmanTBA
ThuApr 2917:00Topos Institute ColloquiumSimon HenryTBA
ThuMay 0617:00Topos Institute ColloquiumSridhar RameshTBA
ThuMay 1317:00Topos Institute ColloquiumMichael ChingTBA
ThuMay 2017:00Topos Institute ColloquiumJacob TsimermanTBA
ThuMay 2717:00Topos Institute ColloquiumOttoline LeyserTBA
ThuJun 0317:00Topos Institute ColloquiumKeno FischerTBA