# Conference on Artificial Intelligence and Theorem Proving (AITP)

- Dates: 30 August 2026 to 4 September 2026
- Location: Centre de Vacances CAES du CNRS, Aussois, France
- Industry: AI & Machine Learning
- Expected attendance: 96

## About

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.

## Official links

- [Official website](http://aitp-conference.org/2026)
- [Registration](https://webapp.uibk.ac.at/aitp2022/)
- [Agenda](http://aitp-conference.org/abstract/AITP_2025_paper_16.pdf)

## Topics

- IT & Technology

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

## Ticket pricing

EUR 650

## Where to stay

- **Le Montana**: 490 m from the venue
  - [Hotel website](https://chalet-montana.com/)

## Related events

- [Fibre Optic Sensing in Geosciences (GC14 FibreOptic)](https://www.luminik.io/events/fibre-optic-sensing-in-geosciences-aussois/)
- [Training on Machine Learning Foundations for Data-Driven Insights](https://www.luminik.io/events/training-on-machine-learning-foundations-for-data-driven-insights-b191db931a93/)
- [Training on Predictive Analytics using Python](https://www.luminik.io/events/training-on-predictive-analytics-using-python-pretoria/)
- [Annual Conference of the Japanese Neural Network Society](https://www.luminik.io/events/annual-conference-of-the-japanese-neural-network-society/)
- [International Conference on Artificial Intelligence, Image Processing, and Computer Science](https://www.luminik.io/events/international-conference-on-artificial-intelligence-image-processing-and-computer-science-hamilton/)
- [International Conference on Computer Graphics and Image Processing](https://www.luminik.io/events/international-conference-on-computer-graphics-and-image-processing-stuttgart/)

Source: https://www.luminik.io/events/conference-on-artificial-intelligence-and-theorem-proving/