7th Conference on Artificial Intelligence and Theorem Proving AITP 2022

Large-scale computer assistance of mathematics and science is our inevitable future. The AITP conference will be co-located with a meeting of WG5 of Cost Action European Research Network on Formal Proofs.

Event Contact
Address: CNRS Paul-Langevin Conference Center, France
Phone: TBC
Email: TBA
Organizer
1. Building & Construction 2. Medical & Pharma 3. Industrial Engineering 4. Science & Research 5. Business Services 6. Education & Training 7. IT & Technology
NOVA University Lisbon, or just NOVA, is a Portuguese public university whose rectorate is located in Campolide, Lisbon. Founded in 1973, it is the newest of the public universities in the Portuguese capital city, earning its name as the "New" University of Lisbon.
gen-logo
Sign in to your account