FMAI 2021 Third International Workshop on Formal Methods in Artificial Intelligence

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.

Menu

  • FMAI 2021
  • Programme
  • Invited Speakers
  • Registration
  • Committees

Get in touch

  • francesco.belardinelli@imperial.ac.uk

© Francesco Belardinelli & Borja Gonzalez. All rights reserved. Design: HTML5 UP.