# Conference on Artificial Intelligence and Theorem Proving (AITP)

- Dates: 3 September 2027
- Location: Aussois, France
- Organiser: Conference on Artificial Intelligence and Theorem Proving
- Industry: SaaS

## About

The Conference on Artificial Intelligence and Theorem Proving (AITP) is an annual event for researchers in artificial intelligence, automated reasoning, machine learning, computer-understandable mathematics, and proof assistants. It focuses on advancing automation in reasoning, mathematics, and science.

## Official links

- [Official website](https://aitp-conference.org/)

## Related events

- [International Conference on Artificial Intelligence, Internet of Things and Cloud Computing Technology](https://www.luminik.io/events/international-conference-on-artificial-intelligence-internet-of-things-and-cloud-computing-technology-d8df1199b75d/)
- [Artificial Intelligence Systems Architecture and Governance](https://www.luminik.io/events/artificial-intelligence-systems-architecture-and-governance-lisbon/)
- [Global Conference Human Resources Africa (GCHRA)](https://www.luminik.io/events/global-conference-human-resources-africa-accra/)
- [Introduction to SQL Course](https://www.luminik.io/events/introduction-to-sql-course-cape-town/)
- [International Conference on Computer Science, Machine Learning and Big Data (ICCSMLBD)](https://www.luminik.io/events/international-conference-on-computer-science-machine-learning-and-big-data-d0ce440ac2d2/)
- [International Conference on Soft Computing for Security Applications (ICSCS)](https://www.luminik.io/events/international-conference-on-soft-computing-for-security-applications-salem/)

Source: https://www.luminik.io/events/conference-on-artificial-intelligence-and-theorem-proving-aussois-aaf4250708df/