FMAI 2021

15-16 April 2021, Imperial College London, UK

The 2021 International Workshop on Formal Methods in AI will be held virtually.
This is the third instalment of the FMAI workshop series, after Naples (2017) and Rennes (2019).

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 ongoing collaborations between these two communities and foster new ones.