From: "Achim D. Brucker" <adbrucker@0x5f.org >
The Workshop on AI and Theorem Provers in Mathematics (AITPM) will explore with leading experts some of the recent developments related to the use of AI and theorem provers in mathematics as well as the perspectives for such future use.
Speakers
Kevin Buzzard (Imperial College)
Minhyong Kim (International Centre for Mathematical Sciences, Edinburgh)
Yang-Hui He (London Institute for Mathematical Sciences)
Paola Iannone (University of Edinburgh)
Shinichi Mochizuki (Research Institute for Mathematical Sciences Kyoto)
Leonardo De Moura (Amazon Web Services)
Lawrence Paulson (University Cambridge)
Chelsea Edmonds (University of Western Australia)
Patrick Massot (University Paris Saclay)
Programme Schedule (to be confirmed)
The preliminary schedule of the workshop is:
April 8th 2026
08:00-09:00 Kevin Buzzard
09:15-10:15 Paola Iannone
10:45-11:45 Lawrence Paulson
12:00-13:00 Discussion/panel session
April 9th 2026
08:00-09:00 Chelsea Edmond
09:15-10:15 Yang Hui Heen
10:45-11:45 Shinichi Mochizuki
12:00-13:00 Discussion session
April 10th 2026
15:00-16:00 Patrick Massot
16:15-17:15 Leonardo De Moura
17:45-18:45 Natarajan Shankar (tbc)
19:00-20:00 Discussion/panel session and closure
All times are BST (i.e., London, observing daylight saving time).
Organisers
Mohamed Saidi (Department of Mathematics and Statistics, University of Exeter)
Barrie Cooper (Department of Mathematics and Statistics, University of Exeter)
Gihan Marasingha (Department of Mathematics and Statistics, University of Exeter)
Achim D. Brucker (Department of Computer Science, University of Exeter)
Diego Marmsoler (Department of Computer Science, University of Exeter)
-- https://www.brucker.ch | https://logicalhacking.com/blog
Last updated: Mar 14 2026 at 08:38 UTC
Email Gateway (Mar 10 2026 at 05:03):