The Third International Workshop on Formal Methods in Artificial Intelligence

FMAI 2020是FMAI研讨会系列的第三期，第一期于2017年2月22日至24日在那不勒斯大学电子工程和信息技术学院（DIETI）举行，由Anello Murano教授领导的研究小组组织。（sites.google.com/site/fmai2017homepage/），以及2019年5月2日至3日在雷恩信息与系统研究所（IRISA）举行的第二版，由Sophie Pinchinat教授领导的研究小组组织（project.inria.fr/fmai2019/）。Murano教授和Pinchinat教授都是FMAI 2020计划和指导委员会的成员。该研讨会原计划于3月26日至27日举行，但由于COVID-19大流行而不得不推迟到9月。另一方面，FMAI研讨会的筹备工作正在进行中。特别是，我们已经有了被接受演讲的论文列表。FMAI系列研讨会的使命是-分享形式方法在人工智能中应用的成功案例。讨论将正式方法和人工智能社区更紧密地联系在一起的策略。巩固这两个社区之间正在进行的合作，并促进新的合作。我们预计与FMAI 2020组织相关的费用将达到65000英镑，主要用于支付受邀演讲者的差旅费和住宿费，参与者的招待费，以及出席学生的三笔差旅赠款。

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.