https://meet.google.com/jxy-edcv-wgx


2020-10-30 11:00: Distributive laws (Dima Szamozvancev (University of Cambridge))

2020-11-06 11:00: Distributive Iaws 2: Monadic Boogaloo (Dima Szamozvancev (University of Cambridge))

2020-11-13 13:00: Modalities and HoTT (Derek Sorensen)

2020-11-20 11:00: Indexed containers and initial algebras for polynomial endofunctors (Shaun Steenkamp (University of Cambridge))

2020-11-27 11:00: Karoubi envelopes, semifunctors, and the extensional lambda calculus (Nathanael Arkor (University of Cambridge))

2020-12-11 11:00: Introduction to infinity categories (Alex Rice (University of Cambridge))

2021-01-29 11:00: The presheaf model of abstract syntax and variable binding (Dima Szamozvancev (University of Cambridge))

2021-02-12 11:00: Monoidal categories (Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge))

2021-02-26 11:00: Categorical models of dependent type theory (Nathanael Arkor (University of Cambridge))

2021-03-05 11:00: Descriptive Complexity (Felipe Ferreira Santos)

2021-03-12 11:00: Categorical gluing and logical relations (Mathieu Huot)

2021-03-19 11:00: Categorical models of dependent type theory II (Nathanael Arkor (University of Cambridge))

2021-03-26 11:00: Semantics of monad transformers (Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge))

2021-05-07 11:00: Higher-order algebraic theories and relative monads (Nathanael Arkor (University of Cambridge))

2021-05-14 11:00: Semantics of monad transformers (Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge))

2021-05-21 11:00: Markov categories: towards a syntax for probability (Paolo Perrone (University of Oxford))

2021-05-28 11:00: Quotient inductive types and QW types (Shaun Steenkamp (University of Cambridge))

2021-06-04 11:00: Quotient inductive types and QW types: part II (Shaun Steenkamp (University of Cambridge))

2021-06-18 11:00: Proof Synthesis with Free Extensions in Intensional Type Theory (Nathan Corbyn (University of Cambridge))

2021-07-09 11:00: A modular approach to formalising combinatorial structures (Chelsea Edmonds (University of Cambridge))

2021-08-27 15:00: The formal theory of theories (Nathanael Arkor (University of Cambridge))