3、会议组织与程序委员会

会议组织与程序委员会

1 程序委员会的成员名单

第27届工业关键系统形式化方法国际会议（FMICS 2022）的程序委员会由来自全球各地的顶尖专家组成，他们来自不同的大学、工业界和研究所，共同确保了会议的高质量和专业性。以下是部分程序委员会成员的名单：

• Erika Ábrahám - RWTH亚琛工业大学（德国）
• Maurice ter Beek - ISTI-CNR（意大利）
• Simon Bliudze - 法国国家信息与自动化研究所（法国）
• Jan Friso Groote - 埃因霍温科技大学（荷兰）
• Ernst Moritz Hahn - 特文特大学（荷兰）
• Paula Herber - 明斯特大学（德国）
• Maryke Huisman - 特文特大学（荷兰）
• Peter Hofner - 澳大利亚国立大学（澳大利亚）
• Nikolai Kosmatov - CEA List, Université Paris-Saclay和 Thales（法国）
• Alfons Laarman - 莱顿大学（荷