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:
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.
\n\nThere 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.
We solicit contributed talks. Selection of those w
ill be based on extended abstracts/short papers of
2 pages formatted with easychair.cls.
\n DATE
S Submission deadline: December 1, 2016