Conference on Artificial Intelligence and Theorem Proving
- Third AITP will be held in Aussois, March 25–30, 2018.
- Second AITP will be 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.