[DMANET] Call for Participation: Workshop on AI and Theorem Provers in Mathematics (AITPM)

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.

- Workshop website: https://aitpm.github.io/
- Venue: Online
- Attendance is free.
- Registration: https://forms.office.com/e/c7gth3Rb6Q
- Date: 8. - 10. April 2026

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

--
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************