EPSRC logo

Details of Grant 

EPSRC Reference: EP/V008013/1
Title: The Third International Workshop on Formal Methods in Artificial Intelligence
Principal Investigator: Belardinelli, Dr F
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computing
Organisation: Imperial College London
Scheme: Standard Research
Starts: 01 August 2021 Ends: 31 October 2021 Value (£): 5,238
EPSRC Research Topic Classifications:
Artificial Intelligence
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
FMAI2020 is the third installment of the FMAI workshop series after the first edition, held at Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI), Università degli Studi di Napoli, on February 22-24 2017, and organised by the research group led by Prof. Anello Murano (sites.google.com/site/fmai2017homepage/), and the second edition, held at Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Rennes, on May 2-3 2019, and organised by the research group led by Prof. Sophie Pinchinat (project.inria.fr/fmai2019/ ). Both Prof. Murano and Prof. Pinchinat are members of the programme and steering committee for FMAI2020.

The workshop was originally planned for March 26-27, but it had to be postponed to September due to the COVID-19 pandemic.

On the other hand, preparations for the FMAI workshop are well under way. In particular, we already have the list of papers accepted for presentation.

The mission of the FMAI workshop series is to

- Share success stories on the applications of Formal Methods in AI.

- Discuss strategies for bringing the Formal Methods and AI communities closer together.

- Consolidate ongoing collaborations between these two communities and foster new ones.

We anticipate that the costs associated with the organisation of FMAI 2020 will amount to 6.5k GBP, mainly used to cover the travel and accommodation costs for the invited speakers, hospitality for the participants, as well as three travel grants for attending students.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.imperial.ac.uk