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/2018/newsitem/9378/25-
 --30-March-2018-3rd-Conference-on-Artificial-Intel
 ligence-and-Theorem-Proving-AITP-2018-Aussois-Fran
 ce
DTSTAMP:20171005T163743
SUMMARY:3rd Conference on Artificial Intelligence 
 and Theorem Proving (AITP 2018), Aussois, France
DTSTART;VALUE=DATE:20180325
DTEND;VALUE=DATE:20180330
LOCATION: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 and mathematics, modern AI and b
 ig-data methods, and several sessions with contrib
 uted talks. The focused sessions will be based on 
 invited talks and discussion oriented.  We solicit
  contributed talks. Selection of those will be bas
 ed on extended abstracts/short papers of 2 pages f
 ormatted with easychair.cls.
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, modern AI and big-data me
 thods, and several sessions with contributed talks
 . The focused sessions will be based on invited ta
 lks and 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.</p>\n</di
 v>
URL:http://aitp-conference.org/2018
END:VEVENT
END:VCALENDAR