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:
The aims
of FMAI 2021 are to:
\n - Present succes
s stories about the application of formal methods
in AI.
\n - Discuss strategies for bring
ing the Formal Methods and the AI communities clos
er together.
\n - Consolidate collaborat
ions between these two communities and foster new
ones.
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).
\n\nFormerly FMAI 2020, due to the current COVID-19 pandemic the workshop has been postponed to Spring 2021.
If you would like to attend the workshop, pleas e submit a proposal for a talk (title and abstract for a 20 minutes talk) by January 31. The talk pr oposals can be about published or unpublished work . You should specify the category in the abstract. If the talk is based on a joint work, please ment ion your co-authors in the abstract. If you plan t o attend but not give a talk, please submit an emp ty abstract with title 'no talk'.