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/2021/newsitem/11426/15
 ---16-April-2021-Third-International-Workshop-on-F
 ormal-Methods-in-Artificial-Intelligence-FMAI-2021
 -Virtual
DTSTAMP:20210325T152518
SUMMARY:Third International Workshop on Formal Met
 hods in Artificial Intelligence (FMAI 2021), Virtu
 al
DTSTART;VALUE=DATE:20210415
DTEND;VALUE=DATE:20210416
LOCATION:Virtual
DESCRIPTION:The aims of FMAI 2021 are to:   - Pres
 ent success stories about the application of forma
 l methods in AI.   - Discuss strategies for bringi
 ng the Formal Methods and the AI communities close
 r together.   - Consolidate collaborations between
  these two communities and foster new ones.  The p
 rogramme features 3 invited talks (by Giuseppe de 
 Giacomo, Jane Hillston and Dvijotham Krishnamurthy
 ) and 6 thematic sessions (on Learning, LTL, Logic
 , Verification, Data, and Games and MAS).  Formerl
 y FMAI 2020, due to the current COVID-19 pandemic 
 the workshop has been postponed to Spring 2021.  I
 f you would like to attend the workshop, please su
 bmit a proposal for a talk (title and abstract for
  a 20 minutes talk) by January 31. The talk propos
 als can be about published or unpublished work. Yo
 u should specify the category in the abstract. If 
 the talk is based on a joint work, please mention 
 your co-authors in the abstract. If you plan to at
 tend but not give a talk, please submit an empty a
 bstract with title 'no talk'.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The aims 
 of FMAI 2021 are to:<br>\n  &nbsp;- Present succes
 s stories about the application of formal methods 
 in AI.<br>\n  &nbsp;- Discuss strategies for bring
 ing the Formal Methods and the AI communities clos
 er together.<br>\n  &nbsp;- Consolidate collaborat
 ions between these two communities and foster new 
 ones.</p>\n\n  <p>The programme features 3 invited
  talks (by Giuseppe de Giacomo, Jane Hillston and 
 Dvijotham Krishnamurthy) and 6 thematic sessions (
 on Learning, LTL, Logic, Verification, Data, and G
 ames and MAS).</p>\n\n  <p>Formerly FMAI 2020, due
  to the current COVID-19 pandemic the workshop has
  been postponed to Spring 2021.</p>\n</div><div>\n
   <p>If you would like to attend the workshop, ple
 ase submit a proposal for a talk (title and abstra
 ct for a 20 minutes talk) by January 31. The talk 
 proposals can be about published or unpublished wo
 rk. You should specify the category in the abstrac
 t. If the talk is based on a joint work, please me
 ntion your co-authors in the abstract. If you plan
  to attend but not give a talk, please submit an e
 mpty abstract with title 'no talk'.</p>\n</div>
URL:https://www.doc.ic.ac.uk/~fbelard/Workshop/
CONTACT:francesco.belardinelli at imperial.ac.uk
END:VEVENT
END:VCALENDAR