AI & Machine Learning
Conference on Artificial Intelligence and Theorem Proving (AITP)
The Conference on Artificial Intelligence and Theorem Proving (AITP) is a forum for discussing the integration of AI and reasoning methods in mathematics and science. It covers topics such as AI in theorem proving, common-sense reasoning, formal verification, and explainable AI. The event is intended for researchers and practitioners in AI, theorem proving, and related fields.
The essentials
Event details
- Dates
- 30 August 2026 to 4 September 2026
- Tickets
- EUR 650
- Expected attendance
- 96
- Industry
- AI & Machine Learning
Agenda themes
Topics covered
- IT & Technology
On stage
Speakers
- João Araújo, Universidade Nova de Lisboa
- Henk Barendregt, Radboud University Nijmegen
- Johannes Brandstetter, Microsoft Research
- Kevin Buzzard, Imperial College London
- Walter Dean, University of Warwick
- Miles Cranmer, Princeton University
- Michael R. Douglas, Stony Brook University
- Mario Carneiro, Chalmers University and University of Gothenburg
- Vlad Firoiu, DeepMind
- Simon Frieder
- Thibault Gauthier
- Ben Goertzel, SingularityNET
- Georges Gonthier, INRIA
- Sergei Gukov, Caltech
- Thomas C. Hales, University of Pittsburgh
- John Harrison, Amazon
- Sean Holden, University of Cambridge
- Jan Jakubuv, Czech Technical University in Prague
- Mikoláš Janota, Czech Technical University in Prague
- Moa Johansson, Chalmers University and University of Gothenburg
Logistics
Where to stay
Places to stay near the venue.
Le Montana
Keep planning
Related events
Spot something wrong on this page? Report a correction and we will fix it.