Online; live-streamed at MR14 Centre for Mathematical Sciences


2024-02-15 17:00: Structures in dependent type theory (Professor Jeremy Avigad (Carnegie Mellon University))

2025-05-22 17:00: Completeness Theorems for Variations of Higher-Order Logic (Andrei Popescu (University of Sheffield))

2025-11-06 17:00: Lambda-Superposition for Successful Hammering (Jasmin Blanchette (Ludwig-Maximilians-Universität München))

2026-01-22 17:00: Lean4Less: Translating Lean to Smaller Theories via an Extensional-to-Intensional Translation (Rishikesh Vaishnav (ENS Paris-Saclay))

2026-03-12 17:00: Faithful Logic Embeddings in HOL:  Deep and Shallow, Propositional and Quantified (Christoph Benzmüller (Otto-Friedrich-Universität Bamberg and Freie Universität Berlin))

2026-04-30 17:00: Title to be confirmed (Floris van Doorn (University of Bonn))