Conference on Artificial Intelligence and Theorem Proving

AITP

Next AITP(s)

  • AITP 2019 is tentatively scheduled to take place in Obergurgl, April 8–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.