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/2017/newsitem/8299/26-
 --30-March-2017-2nd-Conference-on-Artificial-Intel
 ligence-and-Theorem-Proving-AITP-2017-AITP-2017-Ob
 ergurgl-Austria
DTSTAMP:20170301T131021
SUMMARY:2nd Conference on Artificial Intelligence 
 and Theorem Proving AITP 2017 (AITP 2017), Obergur
 gl, Austria
DTSTART;VALUE=DATE:20170326
DTEND;VALUE=DATE:20170330
LOCATION:Obergurgl, Austria
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.  DATES Submission dea
 dline: December 1, 2016
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.<br>\n  DA
 TES Submission deadline: December 1, 2016</p>\n</d
 iv>
URL:http://aitp-conference.org/2017
END:VEVENT
END:VCALENDAR