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/current/newsitem/15819
 /26-January-2026-P-AI-FM-@-AAAI-26-–-Workshop-on-P
 ost-AI-Formal-Methods-26-Jan-2026-Singapore-Singap
 ore
DTSTAMP:20251001T145311
SUMMARY:P-AI-FM @ AAAI-26 – Workshop on Post-AI Fo
 rmal Methods, 26 Jan 2026, Singapore, Singapore
DTSTART;VALUE=DATE:20260126
LOCATION:Singapore
DESCRIPTION:We are pleased to announce the AAAI-26
  Workshop on Post-AI Formal Methods (P-AI-FM), whi
 ch will take place in conjunction with AAAI-26, Ja
 nuary 26th, 2026, in Singapore.  The workshop aims
  to bring together the communities of Formal Metho
 ds and Artificial Intelligence, exploring how symb
 olic reasoning, verification, and trustworthy AI c
 an jointly address the challenges of modern AI sys
 tems.  Submission Tracks:  * AAAI Main Track Submi
 ssions: If you submitted a paper to AAAI-26 (regar
 dless of acceptance status), you are invited to al
 so submit it to this workshop.  * Short / Position
  Papers (24 pages): Early ideas, works in progress
 , extended abstracts, or already published researc
 h.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>We are pl
 eased to announce the AAAI-26 Workshop on Post-AI 
 Formal Methods (P-AI-FM), which will take place in
  conjunction with AAAI-26, January 26th, 2026, in 
 Singapore.</p>\n  <p>The workshop aims to bring to
 gether the communities of Formal Methods and Artif
 icial Intelligence, exploring how symbolic reasoni
 ng, verification, and trustworthy AI can jointly a
 ddress the challenges of modern AI systems.</p>\n<
 /div><div>\n  <p>Submission Tracks:<br>\n  * AAAI 
 Main Track Submissions: If you submitted a paper t
 o AAAI-26 (regardless of acceptance status), you a
 re invited to also submit it to this workshop.<br>
 \n  * Short / Position Papers (24 pages): Early id
 eas, works in progress, extended abstracts, or alr
 eady published research.</p>\n</div>
URL:https://www.p-ai-fm.com/
END:VEVENT
END:VCALENDAR