Conference on Artificial Intelligence and Theorem Proving

AITP

AITP(s)

  • AITP 2025 will take place in Aussois, August 31 - September 5, 2025.
  • AITP 2024 was held in Aussois, September 1-6, 2024.
  • AITP 2023 was held in Aussois, September 3-8, 2023.
  • AITP 2022 was held in Aussois, September 4-9, 2022.
  • AITP 2021 was held in Aussois, September 5-10, 2021.
  • AITP 2020 was held in Aussois, September 13-18, 2020.
  • Fourth AITP was held 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 Conference on Artificial Intelligence and Theorem Proving (AITP) is a yearly meeting where researchers in the areas of artificial intelligence, automated reasoning, machine learning, computer-understandable mathematics and proof assistants come to discuss how to progress with automation of reasoning, mathematics and science. For more information look at the pages of the particular instances of the conference.