Live-streamed at MR14 Centre for Mathematical Sciences


2024-02-08 17:00: How to prove Fermat's Last Theorem (Professor Kevin Buzzard (Imperial College London))

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

2024-03-14 17:00: Lawvere Theories in Lean (Professor Adam Topaz (University of Alberta))

2024-04-25 17:00: Formalising Theory of Combinatorial Optimisation (Dr Mohammad Abdulaziz (King's College London))

2024-05-02 17:00: Condensed Type Theory (Dr Johan Commelin (Utrecht University))

2024-05-09 17:00: Scientific Computing in Lean (Tomas Skrivan (Carnegie Mellon University))

2024-05-16 17:00: Teaching using a proof assistant and controlled natural language (Professor Patrick Massot (Université Paris-Saclay and Carnegie Mellon University))

2024-05-23 17:00: Little theories for big formal proofs (Professor Georges Gonthier (Inria))

2024-06-13 17:00: Alpha-Beta Pruning Explored, Extended and Verified (Professor Tobias Nipkow (Technische Universität München))