MR20 Centre for Mathematical Sciences


2023-05-18 17:00: Explaining mathematics using formalized mathematics (Professor Patrick Massot (Université Paris-Saclay))

2023-06-01 17:00: The leanest automata (Professor Bjørn Kjos-Hanssen (University of Hawaii at Manoa))

2023-06-08 17:00: Formalizing algebraic number theory, recent progress and future challenges (Dr Alex J. Best (King's College London))

2023-06-15 17:00: Formalizing the change of variables formula for integrals in mathlib (Professor Sébastien Gouëzel (Université de Rennes))

2023-06-22 17:00: Roth numbers: Upper, lower bounds, and related constructions (Yaël Dillies (University of Cambridge))