软件工程 | CCF推荐会议信息1条

摘要截稿: 2021-04-30

全文截稿: 2021-05-06

开会时间: 2021-11-20

会议难度: ★★★★

CCF分类: B类

会议地点: Beijing, China

网址：http://formalmethods2021.csp.escience.cn/dct/page/1

FM 2021 is the 24th international symposium in a series organised by Formal Methods Europe (FME). The topics covered include the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems.

The conference is planned to take place on November 20-26, 2021, at the Institute of Software, Chinese Academy of Sciences.

We are monitoring closely the COVID-19 situation and, although we hope for an in-person event, we are also planning carefully for a virtual event or a hybrid virtual/in-person event, in case there will be travel restrictions or health advisories following the global COVID-19 crisis. We will announce a decision on the nature of the meeting in due course.