10times
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.


Timings

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

Entry Fees

Check Official Website

Participants

100 - 500
Delegates
Based on previous editions

Category & Type

Conference
Science & Research
IT & Technology

Editions

13 - 18 Sep 2020 5th Edition


Frequency Annual
Next edition likely in Sep 2021

Official Links

WebsiteContacts


Report Error
Claim this event

Organizer

Logo Follow Company

University NOVA of Lisbon

11 Total Events / 2 Upcoming Events

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

Budish

Budish

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
France

Get Directions

Featured Hotels in Aussois

More Hotels