FMICS的目的是为对工业中正式方法的开发和应用感兴趣的研究人员提供一个论坛。特别是，FMICS汇集了活跃于正式方法领域并有兴趣交流这些方法工业应用经验的科学家和工程师。FMICS还致力于促进研究和开发，以改进工业应用的正式方法和工具。

会议地点

FMICS 2019在阿姆斯特丹科学公园举行(会议中心，位于科学园123)2019年8月30日至31日，在L120室（CWI，会议中心旁边）。会场距离阿姆斯特丹中央.

共同举办的会议

• 8月26日至31日：第三十届并行理论国际会议（CONCUR）
• 8月27日至29日：第十七届国际时间系统形式建模与分析会议（FORMATS 2019）

卫星讲习班

• 第三届分布式混合系统方法和工具国际研讨会（DHS 2019）
• 第26届并发表达性国际研讨会和第16届结构化操作语义研讨会（EXPRESS/SOS 2019）
• 第二届并行与逻辑最新进展国际研讨会（RADICAL 2019）
• 第四届安全关键系统定时性能工程国际研讨会（TIPS 2019）
• 第八届IFIP工作组1.8并发理论趋势研讨会（2019年趋势）
• 第九届并发理论青年研究人员研讨会（YR-CONCUR 2019）

---

飞行管理信息系统是ERCIM公司工业关键系统形式化方法工作组会议，是工业应用与形式化方法交叉的关键会议。2018年版FMICS在爱尔兰举行，参见在这里（和在这里链接到更早的版本）

---