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:<div>\n  <p>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.</p>\n\n  <p>
 There 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.</p>\n</div><div>\n  <p>We 
 solicit contributed talks. Selection of those will
  be based on extended abstracts/short papers of 2 
 pages formatted with easychair.cls. Submission is 
 via EasyChair. We will consider an open call for p
 ost-proceedings in an established series of confer
 ence proceedings (LIPIcs, EPiC, JMLR) or a journal
  (AICom, JAR, JAIR).</p>\n</div>
URL:http://aitp-conference.org/2021
END:VEVENT
END:VCALENDAR