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/2025/newsitem/15535/31
 -August---5-September-2025-10th-International-Work
 shop-on-Artificial-Intelligence-and-Theorem-Provin
 g-AITP-2025-Aussois-France
DTSTAMP:20250320T152157
SUMMARY:10th International Workshop on Artificial 
  Intelligence and Theorem Proving (AITP 2025), Aus
 sois, France
DTSTART;VALUE=DATE:20250831
DTEND;VALUE=DATE:20250905
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 th
 e forum for discussing how to get there as soon as
  possible, and the force driving the progress towa
 rds that.  There will be several focused sessions 
 on AI for ATP, ITP, mathematics, relations to gene
 ral AI (AGI), Formal Abstracts, linguistic process
 ing of mathematics/science, modern AI and big-data
  methods, and several sessions with contributed ta
 lks. The focused sessions will be based on invited
  talks and discussion oriented. AITP'25 is planned
  as an in-person conference.  We solicit contribut
 ed talks. Selection of those will be based on exte
 nded abstracts/short papers of 2 pages formatted w
 ith easychair.cls. Submission is via EasyChair. Th
 e extended abstracts are considered non-archival. 
 The contributed talks have to be presented in-pers
 on.
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.&nbsp; The AITP conference is the forum for disc
 ussing how to get there as soon as possible, and t
 he force driving the progress towards that.</p>\n 
  <p>There will be several focused sessions on AI f
 or ATP, ITP, mathematics, relations to general AI 
 (AGI), Formal Abstracts, linguistic processing of 
 mathematics/science, modern AI and big-data method
 s, and several sessions with contributed talks. Th
 e focused sessions will be based on invited talks 
 and discussion oriented. AITP'25 is planned as an 
 in-person conference.</p>\n</div><div>\n  <p>We so
 licit contributed talks. Selection of those will b
 e based on extended abstracts/short papers of 2 pa
 ges formatted with easychair.cls. Submission is vi
 a <a href="https://easychair.org/conferences/?conf
 =aitp2025" target="_blank" rel="noopener">EasyChai
 r</a>. The extended abstracts are considered non-a
 rchival. The contributed talks have to be presente
 d in-person.</p>\n</div>
URL:http://aitp-conference.org/2025
END:VEVENT
END:VCALENDAR