News and Events: Conferences

Spring 2021, Third International Workshop on Formal Methods in Artificial Intelligence (FMAI 2020), London, England

Date: 27 - 28 March 2021
Location: London, England
Deadline: Friday 7 February 2020

The aims of FMAI 2020 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.

Invited Speakers: Giuseppe de Giacomo (Sapienza Universita' di Roma, Italy) and  Jane Hillston (University of Edinburgh, UK).

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'.

For more information, see