SaaS
Conference on Artificial Intelligence and Theorem Proving (AITP)
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.
The essentials
Event details
- Dates
- 3 September 2027
- Location
- Aussois, France
- Organiser
- Conference on Artificial Intelligence and Theorem Proving
- Industry
- SaaS
Stay on it
Get the next edition
When Conference on Artificial Intelligence and Theorem Proving (AITP) announces its next edition, or these dates change, we read it from the organiser's own site. One email when that happens, nothing else.
Plan this event
Work out who to meet here
Luminik sources the attendee picture for an event like Conference on Artificial Intelligence and Theorem Proving (AITP), enriches it against your ICP, and sequences it ahead of the date. Capture at the event writes to Salesforce or HubSpot the same day, and attribution ties the pipeline back to the spend.
Spot something wrong on this page? Report a correction and we will fix it.
Is this your event? Verify it with your work email: one click in your inbox proves it is yours, we approve, and the badge goes up, usually within a day. Prefer the form?