Spring 2021, Third International Workshop on Formal Methods in Artificial Intelligence (FMAI 2020), London, England
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'.