5th Edition Conference

Conference on Artificial Intelligence and Theorem Proving

13 - 18 Sep 2020  New Date Reminder
Centre de Vacances CAES du CNRS Paul Langevin, Aussois, France
About Followers 1 Reviews Exhibitors Photos Speakers Travel Deals

The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that. The Topics will be covered AI and big-data methods in theorem proving and mathematics, Collaboration between automated and interactive theorem proving, in particular their AI/ML aspects, Common-sense reasoning and reasoning in science, Alignment and joint processing of formal, semi-formal, and informal libraries, Formal Abstracts, Methods for large-scale computer understanding of mathematics and science, Combinations of linguistic/learning-based and semantic/reasoning methods, Formal verification of AI and machine learning algorithms, explainable AI.


10:00 AM - 5:00 PM (General)

Entry Fees

Check Official Website


100 - 500
Based on previous editions

Category & Type

Science & Research
IT & Technology


13 - 18 Sep 2020 5th Edition

Frequency Annual
Next edition likely in Sep 2021

Official Links


Report Error
Claim this event


Logo Follow Company

University NOVA of Lisbon

11 Total Events / 2 Upcoming Events

User Community [ Users who have shown interest for this Event ]



Mr. at Square

Toronto, Canada

Write a Review

Add Your Review
45.232795 6.743473

Venue Map & Directions

map of Centre de Vacances CAES du CNRS Paul Langevin

Centre de Vacances CAES du CNRS Paul Langevin

24 Rue du Coin, 73500 Aussois, France

Get Directions

Featured Hotels in Aussois

More Hotels