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