Conference on Artificial Intelligence and Theorem Proving
AITP
Next AITP(s)
- AITP 2019 will take place in Obergurgl, April 7–12, 2019.
- Third AITP was held in Aussois, March 25–30, 2018.
- Second AITP was held in Obergurgl, March 26–30, 2017.
- First AITP was held in Obergurgl, Austria, April 3–7, 2016.
What is AITP?
The series of Conferences on Artificial Intelligence and Theorem Proving (AITP) is yearly
meeting where researchers in the areas of artificial intelligence, automated reasoning, and
proof assistants come to present results and discuss the advances in these fields. For more information look at the pages of the particular instances of the conference.