Next AITP(s)

• 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.