News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

15 - 16 April 2021, Third International Workshop on Formal Methods in Artificial Intelligence (FMAI 2021), Virtual

Date: 15 - 16 April 2021
Location: Virtual
Deadline: Friday 7 February 2020

The aims of FMAI 2021 are to:
 - Present success stories about the application of formal methods in AI.
 - Discuss strategies for bringing the Formal Methods and the AI communities closer together.
 - Consolidate collaborations 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 Games and MAS).

Formerly 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, please submit a proposal for a talk (title and abstract for a 20 minutes talk) by January 31. The talk proposals 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 mention your co-authors in the abstract. If you plan to attend but not give a talk, please submit an empty abstract with title 'no talk'.

Please note that this newsitem has been archived, and may contain outdated information or links.