FM 2024

FM 2024 是由 Formal Methods Europe (FME) 组织的第 26 届形式方法国际研讨会，Formal Methods Europe (FME) 是一个独立协会，旨在促进软件开发形式方法的使用和研究。 FM 研讨会成功地将研究人员和工业用户聚集在一起，围绕有关研究和工业经验的原创论文、研讨会、教程、工具报告、项目和正在进行的博士研究。 FM 2024 既是一个庆祝的场合，也是来自不同背景的热情研究人员和实践者交流想法和分享经验的平台。

FM 2024 将重点关注形式化方法在广泛领域的开发和应用，包括可信人工智能、软件、基于计算机的系统、系统系统、网络物理系统、安全、人机交互、制造、可持续性、能源、交通、智慧城市、医疗保健和生物。我们特别欢迎有关跨学科环境中的技术、工具和经验的论文。我们还欢迎有关在工业环境中应用形式化方法的经验以及形式化方法工具的设计和验证的论文。

FM 2024 的主题包括但不限于：

跨学科正式方法：展示跨学科环境中正式方法使用的技术、工具和经验。形式化方法在实践中包括：形式化方法的工业应用、工业化形式化方法的经验、工具使用报告、挑战性问题的实验。我们鼓励作者解释形式化方法如何克服问题、改进设计或提供新的见解。

形式化方法工具：自动化验证、模型检查和形式化方法测试、工具集成、形式化方法环境以及工具实验验证方面的进展。鼓励作者凭经验证明新工具或环境推进了最先进的技术。
软件和系统工程中的形式化方法：使用形式化方法的开发过程、形式化方法的使用指南以及方法集成。鼓励作者评估定性或定量改进方面的流程创新。还征求实证研究和评估。

形式化方法的理论基础：与规范、验证、细化以及静态和动态分析相关的理论的所有方面。鼓励作者解释他们的结果如何有助于使用正式方法或工具解决实际问题。

嵌入式系统专题： FM 2024 将与 ACM SIGBED 合作组织一个关于嵌入式系统的特别专题。本课程将重点关注本质上形式化并应用于嵌入式、实时和网络物理系统的理论、方法和工具。