Institution Audience
Speaker Edited within hours
Affiliation Livestream available
Date Time
Times in UTC (now UTC +0)
Your timeSeriesSpeakerTitle
ThuApr 0917:00Topos Institute ColloquiumDanel AhmanContainers and Comodule Representations of Second-Order Functionals
ThuApr 1617:00Topos Institute ColloquiumRobin PiedeleuThe Algebra of Probabilistic Boolean Circuits
ThuApr 2317:00Topos Institute ColloquiumChris HeunenControl, Complete, Compute: Rig Categories in Quantum Computing
ThuApr 3017:00Topos Institute ColloquiumJeremy GibbonsTotal Functional Programming, Reloaded
ThuMay 0717:00Topos Institute ColloquiumChristoph BenzmuellerTBA
ThuMay 1417:00Topos Institute ColloquiumSimon WillertonTBA
ThuMay 2117:00Topos Institute ColloquiumStefan MiliusTBA
ThuJun 0417:00Topos Institute ColloquiumHelle Hvid HansenTBA
ThuJun 1117:00Topos Institute ColloquiumJoe MoellerTBA
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
ThuNov 0517:00Topos Institute ColloquiumDavid AyalaTBA