# Companies at Conference on Artificial Intelligence and Theorem Proving (AITP)

16 organisations named on Conference on Artificial Intelligence and Theorem Proving (AITP)'s published sponsor and speaker listings.
Last checked 2026-08-08. 30 August 2026 to 4 September 2026, Centre de Vacances CAES du CNRS, Aussois, France.

## Companies on stage (16)

- 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

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.

Source page: https://www.luminik.io/events/conference-on-artificial-intelligence-and-theorem-proving/companies/
Event page: https://www.luminik.io/events/conference-on-artificial-intelligence-and-theorem-proving/