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újoUniversidade Nova de Lisboa
- Henk BarendregtRadboud University Nijmegen
- Johannes BrandstetterMicrosoft Research
- Kevin BuzzardImperial College London
- Walter DeanUniversity of Warwick
- Miles CranmerPrinceton University
- Michael R. DouglasStony Brook University
- Mario CarneiroChalmers University and University of Gothenburg
- Vlad FiroiuDeepMind
- Simon Frieder
- Thibault Gauthier
- Ben GoertzelSingularityNET
- Georges GonthierINRIA
- Sergei GukovCaltech
- Thomas C. HalesUniversity of Pittsburgh
- John HarrisonAmazon
- Sean HoldenUniversity of Cambridge
- Jan JakubuvCzech Technical University in Prague
- Mikoláš JanotaCzech Technical University in Prague
- Moa JohanssonChalmers University and University of Gothenburg
Logistics
Where to stay
Places to stay near the venue.
Le Montana
Plan this event
Work out who to meet here
Luminik sources the attendee picture for an event like Conference on Artificial Intelligence and Theorem Proving (AITP), enriches it against your ICP, and sequences it ahead of the date. Capture at the event writes to Salesforce or HubSpot the same day, and attribution ties the pipeline back to the spend.
Spot something wrong on this page? Report a correction and we will fix it.