AI & Machine Learning
Companies at Conference on Artificial Intelligence and Theorem Proving (AITP)
16 organisations appear on Conference on Artificial Intelligence and Theorem Proving (AITP)'s published sponsor and speaker listings. Here is the list, with the event's dates and location.
The essentials
Event details
- Dates
- 30 August 2026 to 4 September 2026
- Location
- Aussois, France
- Venue
- Centre de Vacances CAES du CNRS
- Industry
- AI & Machine Learning
- Companies listed
- 16
From the speaker listing
Companies on stage (16)
Organisations named alongside the speakers Conference on Artificial Intelligence and Theorem Proving (AITP) publishes.
- Universidade Nova de Lisboa
- Radboud University Nijmegen
- Microsoft Research
- Imperial College London
- University of Warwick
- Princeton University
- Stony Brook University
- Chalmers University and University of Gothenburg
- DeepMind
- SingularityNET
- INRIA
- Caltech
- University of Pittsburgh
- Amazon
- University of Cambridge
- Czech Technical University in Prague
Last checked 2026-08-08.
Agenda themes
Topics covered
- IT & Technology
Ahead of the event
From the published list to a ranked target list
Conference on Artificial Intelligence and Theorem Proving (AITP) names 16 organisations. Your team needs the people in them who match your ICP, ranked, with account context, in the sequencer it already uses. Luminik sources the attendee picture from the event's public directory and the organisations around it, enriches it against your ICP, and sequences it weeks ahead of the event. Capture at the event writes straight to Salesforce or HubSpot the same day, and attribution ties the pipeline back to the spend.
Common questions
Frequently asked
- Which companies attend Conference on Artificial Intelligence and Theorem Proving (AITP)?
- Conference on Artificial Intelligence and Theorem Proving (AITP) names 16 organisations on its published sponsor and speaker listings, including Universidade Nova de Lisboa, Radboud University Nijmegen, Microsoft Research, Imperial College London, University of Warwick.
- When and where is Conference on Artificial Intelligence and Theorem Proving (AITP)?
- 30 August 2026 to 4 September 2026 at Centre de Vacances CAES du CNRS, Aussois, France.
Conference on Artificial Intelligence and Theorem Proving (AITP) is a trademark of its organiser. This page is an independent summary of listings the event publishes. Luminik is not affiliated with the event.