Logic & Semantics for Dummies


2016-01-22 11:00: Categorical models of dependent types (Ian Orton (University of Cambridge))

2016-01-29 11:00: Everything's a Kan extension (Philip Saville (University of Cambridge))

2016-02-05 11:00: Linear Logic (Hugo Paquet (University of Cambridge))

2016-02-12 11:00: Open maps and their uses in concurrency models (Tamas Kispeter (University of Cambridge))

2016-02-19 11:00: The co-end justifies the co-means (Philip Saville)

2016-02-26 11:00: Finding our way around routing algebras (Matthew Daggitt)

2016-03-04 11:00: Topoi, or not topoi, that is the question (Ian Orton (University of Cambridge))

2016-03-11 11:00: Stone Duality (Hugo Paquet (University of Cambridge))

2016-04-08 11:00: Profunctors and coends (Philip Saville (University of Cambridge))

2016-04-22 11:15: PCF: keeping it real (Hugo Paquet (University of Cambridge))

2016-04-29 11:15: Cubical Type Theory (Ian Orton (University of Cambridge))

2016-05-06 11:30: Event structures for dummies (Tamas Kispeter (University of Cambridge))

2016-05-13 11:30: The lambda calculus as an initial monad (Mathieu Huot)

2016-05-20 11:00: An introduction to pi-calculus (Dominic Orchard (University of Cambridge))

2016-06-24 11:15: Cylindrical decomposition : a way to solve 1st order logic of the real numbers  (Mathieu Huot (University of Cambridge))

2016-11-11 10:45: On normalization for the typed λ-calculus (Simon Castellan)

2016-11-18 10:45: Presheaf models of type theory (Ian Orton (University of Cambridge))

2016-11-25 10:45: Datatypes as algebras (Philip Saville (University of Cambridge))

2017-02-03 11:00: Coherence Spaces (Hugo Paquet (University of Cambridge))

2017-10-13 11:00:  Weighted relational semantics for PCF  (Hugo Paquet (University of Cambridge))

2017-10-20 11:00: Asynchronous Fixed Points (Matthew Daggitt (University of Cambridge))

2017-10-27 11:00: Monads and the semantics of effects (Philip Saville (University of Cambridge))

2017-11-03 11:00: iCAP-TSO, a program logic for the TSO relaxed memory model (Jean Pichon-Pharabod ())

2017-11-17 11:00: Linear and Dependent Types (Mark Wassell)

2018-10-24 11:00: Dependent type theory and the univalence axiom (Ian Orton)

2018-10-31 11:00: Introduction to game semantics for programming languages (Aurore Alcolei)

2018-11-07 11:00: Agda: a practical tutorial (Matthew Daggitt)

2018-11-21 11:00: Introduction to string diagrams (Dima Szamozvancev)

2019-01-23 11:00: Moggi's Monads (Philip Saville (University of Cambridge))

2019-02-13 11:00: Dataflow languages and the semantics of context-dependent programming (Andrej Ivašković)

2019-02-20 11:00: Monadic modalities (Dima Szamozvancev)

2019-05-08 11:00: Linear Logic and Quantum Programming (Marc de Visme)

2019-05-15 11:00: Internal categories, generalised multicategories and operads  (Nathanael Arkor (University of Cambridge))

2019-10-18 11:00: Call-by-push-value (Dylan McDermott)

2019-10-30 11:00: Programming with monads and graded monads (Andrej Ivašković)

2019-11-08 11:00: Applicative functors (Dima Szamozvancev)

2019-11-22 11:00: Horizontal & vertical categorification: from monoids to bicategories (Nathanael Arkor (University of Cambridge))

2019-12-04 11:00: An introduction to Martin-Löf Type Theory (Vikraman (University of Cambridge))

2020-01-31 11:00: Lawvere theories and finitary monads (Nathanael Arkor (University of Cambridge))

2020-02-28 11:00: A Galois connection for operations and relations (Adam ó Conghaile (University of Cambridge))

2020-03-06 11:00: Ends and coends (AKA "Cowedges: Endgame") (Dima Szamozvancev (University of Cambridge))

2020-05-15 11:00: Goodwillie Calculus (Derek Sorensen)

2020-06-05 11:00: Presheaves and free cocompletion (Younesse Kaddar)

2020-06-12 11:00: Presheaves and free cocompletion (part 2) (Younesse Kaddar)

2020-06-19 11:00: Presheaves seen as freely added colimits: an algorithmic approach (Younesse Kaddar)

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))

2022-03-03 11:00: The encode-decode method for equality types (Alex Rice (University of Cambridge))

2022-03-10 11:00: Constructive Classical Logic? (David Berry)