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/2021/newsitem/12591/5- --11-September-2021-6th-Conference-on-Artificial-I ntelligence-and-Theorem-Proving-AITP-2021-Virtual- Aussois-France- DTSTAMP:20210901T140215 SUMMARY:6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021), Virtual & Aussois (France) DTSTART;VALUE=DATE:20210905 DTEND;VALUE=DATE:20210911 LOCATION:Virtual & Aussois (France) 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, mathematics, physics, relations to general AI, Formal Abstracts, linguistic proce ssing of mathematics/science, modern AI and big-da ta methods, and several sessions with contributed talks. The focused sessions will be based on invit ed talks and discussion oriented. We solicit cont ributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages format ted with easychair.cls. Submission is via EasyChai r. We will consider an open call for post-proceedi ngs in an established series of conference proceed ings (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, mathematics, physics, relations to genera l AI, Formal Abstracts, linguistic processing of m athematics/science, modern AI and big-data methods , and several sessions with contributed talks. The focused sessions will be based on invited talks a nd discussion oriented.
We so licit contributed talks. Selection of those will b e based on extended abstracts/short papers of 2 pa ges formatted with easychair.cls. Submission is vi a EasyChair. We will consider an open call for pos t-proceedings in an established series of conferen ce proceedings (LIPIcs, EPiC, JMLR) or a journal ( AICom, JAR, JAIR).