2、第27届国际会议FMICS 2022简介

第27届国际会议FMICS 2022简介

1. 会议基本信息

第27届工业关键系统形式化方法国际会议（FMICS 2022）于2022年9月14日至15日在波兰华沙举行。本次会议是工业应用与形式化方法交叉领域的关键会议，旨在为科研人员提供一个讨论形式化方法在工业中的发展和应用的论坛。会议由ERCIM组织，聚焦于形式化方法在工业关键系统中的应用，吸引了众多科学家和工程师的参与，分享他们在工业使用中的宝贵经验。

会议背景与目标

FMICS系列的目标是推动研究和开发，以改进工业应用的形式化方法和工具。会议不仅关注理论研究，更注重实际应用，旨在促进形式化方法在工业中的落地实施。通过这种方式，会议希望为工业界和学术界搭建一个沟通的桥梁，共同推进形式化方法的发展。

会议组织框架

FMICS 2022在CONFEST的框架下组织，与第33届并发理论国际会议（CONCUR 2022）、第19届定量评估系统国际会议（QEST 2022）以及第20届形式化建模与时间系统分析国际会议（FORMATS 2022）同时进行。会议不仅提供了面对面的交流机会，还支持通过网络在线参加，确保更多人能够参与到这场学术盛宴中来。

2. 论文提交与评审过程

FMICS 2022共收到来自全球的22篇论文提交。会议组织了一个由28名成员组成的国际程序委员会（PC），成员来自大学、工业界和研究所的混合。所有投稿都经过了严格的单盲审查过程，每篇论文收到了三份审查报告，并由PC成员进行了详细的讨论。最终，共有13篇论文被选中在会议期间展示，总体接受率为59%。

论文评审流程

以下是论文评审的具