The 2020 International Workshop on Formal Methods in AI will be held at the Department of Computing, Imperial College London. This is the third instalment of the FMAI workshop series, after Naples (2017) and Rennes (2019).
- 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 ongoing collaborations between these two communities and foster new ones.