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:<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 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.</p>\n\n
   <p>Due 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.</p>\n</div><div>\n  <p>The Pro
 gram Committee solicits contributed talks. Selecti
 on of those will be based on extended abstracts/sh
 ort papers of 2 pages formatted with easychair.cls
 . Submission is via EasyChair. We will consider an
  open call for post-proceedings in an established 
 series of conference proceedings (LIPIcs, EPiC, JM
 LR) or a journal (AICom, JAR, JAIR).</p>\n</div>
URL:http://aitp-conference.org/2020
END:VEVENT
END:VCALENDAR