CARVIEW

MOTORHOMES

Select Language

HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Wed, 29 Oct 2025 16:15:58 GMT access-control-allow-origin: * etag: W/"69023dbe-7d4" expires: Wed, 31 Dec 2025 13:08:39 GMT cache-control: max-age=600 content-encoding: gzip x-proxy-cache: MISS x-github-request-id: ADE6:1387E:B2C8F9:C92C56:69551DFF accept-ranges: bytes age: 0 date: Wed, 31 Dec 2025 12:58:39 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210030-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1767185919.149855,VS0,VE201 vary: Accept-Encoding x-fastly-request-id: 8c858aa08859a8dbeeff3fd60a62e2a4281f350f content-length: 856 AITP: Conference on Artificial Intelligence and Theorem Proving

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.

Original Source | Taken Source