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/2019/newsitem/10266/7-
 --12-April-2019-4th-Conference-on-Artificial-Intel
 ligence-and-Theorem-Proving-AITP-2019-Obergurgl-Au
 stria
DTSTAMP:20181018T153040
SUMMARY:4th Conference on Artificial Intelligence 
 and Theorem Proving (AITP 2019), Obergurgl, Austri
 a
DTSTART;VALUE=DATE:20190407
DTEND;VALUE=DATE:20190412
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, 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.  AITP solicits contributed talks. Selection of 
 those will be based on extended abstracts/short pa
 pers of 2 pages formatted with easychair.cls. Subm
 ission is via EasyChair. Accepted contributions wi
 ll be published in an informal book of abstracts f
 or distribution at the conference.
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</
 div><div>\n  <p>AITP solicits contributed talks. S
 election of those will be based on extended abstra
 cts/short papers of 2 pages formatted with easycha
 ir.cls. Submission is via EasyChair. Accepted cont
 ributions will be published in an informal book of
  abstracts for distribution at the conference.</p>
 \n</div>
URL:http://aitp-conference.org/2019
END:VEVENT
END:VCALENDAR