BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2020/newsitem/11291/13 ---18-September-2020-5th-Conference-on-Artificial- Intelligence-and-Theorem-Proving-AITP-2020-Aussois -France-or-Virtual DTSTAMP:20200828T004223 SUMMARY:5th Conference on Artificial Intelligence and Theorem Proving (AITP 2020), Aussois, France o r Virtual DTSTART;VALUE=DATE:20200913 DTEND;VALUE=DATE:20200918 LOCATION:Aussois, France or Virtual DESCRIPTION:Large-scale semantic processing and st rong computer assistance of mathematics and scienc e is our inevitable future. New combinations of AI and reasoning methods and tools deployed over lar ge mathematical and scientific corpora will be ins trumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towar ds that. There will be several focused sessions o n AI for ATP, ITP and mathematics, Formal Abstract s, linguistic processing of mathematics/science, m odern AI and big-data methods, and several session s with contributed talks. The focused sessions wil l be based on invited talks and discussion oriente d. Due to the Coronavirus travel bans, the confer ence has been moved to September 13-18, 2020. The next evaluation will be done in mid-August. A comb ination of a real-world meeting with some online t alks is an option. The Program Committee solicits contributed talks. Selection of those will be bas ed on extended abstracts/short papers of 2 pages f ormatted with easychair.cls. Submission is via Eas yChair. We will consider an open call for post-pro ceedings in an established series of conference pr oceedings (LIPIcs, EPiC, JMLR) or a journal (AICom , JAR, JAIR). X-ALT-DESC;FMTTYPE=text/html:
Large-sca le semantic processing and strong computer assista nce of mathematics and science is our inevitable f uture. New combinations of AI and reasoning method s and tools deployed over large mathematical and s cientific corpora will be instrumental to this tas k. The AITP conference is the forum for discussing how to get there as soon as possible, and the for ce driving the progress towards that.
\n\nThere will be several focused sessions on AI for A TP, ITP and mathematics, Formal Abstracts, linguis tic processing of mathematics/science, modern AI a nd big-data methods, and several sessions with con tributed talks. The focused sessions will be based on invited talks and discussion oriented.
\n\nDue to the Coronavirus travel bans, the confe rence has been moved to September 13-18, 2020. The next evaluation will be done in mid-August. A com bination of a real-world meeting with some online talks is an option.
The Progr am Committee solicits contributed talks. Selection of those will be based on extended abstracts/shor t papers of 2 pages formatted with easychair.cls. Submission is via EasyChair. We will consider an o pen call for post-proceedings in an established se ries of conference proceedings (LIPIcs, EPiC, JMLR ) or a journal (AICom, JAR, JAIR).