FMCAD 2025 是关于硬件和系统验证中形式化方法理论与应用的系列会议的第 25 届。FMCAD 为学术界和工业界的研究人员提供了一个领先的论坛，用于展示和讨论用于对计算系统进行形式化推理的突破性方法、技术、理论成果和工具。FMCAD 涵盖计算机辅助系统设计的形式化方面，包括验证、规范、综合和测试。

1、委员会

项目主席：
Daniela Kaufmann，奥地利维也纳工业大学
Ahmed Irfan，SRI，美国
地方组织主席：
Stéphane Graham-Lengrand，SRI，美国
注册主席：
Jenny McNeill ，SRI，美国
学生论坛主席：
Tanja Schindler，瑞士巴塞尔大学
Lee A. Barnett，AWS，美国
赞助主席：
Alex Ozdemir，美国斯坦福大学
出版主席：
Georg Weissenbacher，奥地利维也纳工业大学
网络主席：
Thomas Hader，奥地利维也纳工业大学

1.模型检查、定理证明、等价性检查、抽象和简化、组合方法、位和字级的决策程序、概率方法、演绎方法和决策程序的组合。

2.计算机系统描述、建模、规范和实现语言的合成和编译、语言及其子集的形式语义、基于模型的设计、设计推导和转换、通过构造纠正方法。

3.将形式化和半形式化方法应用于硬件和软件的功能和非功能规范和验证，包括时序和功率建模、所有抽象级别的计算系统验证、嵌入式系统、信息物理系统、汽车系统和其他安全关键系统的系统级设计和验证、硬件-软件协同设计和验证以及事务级验证。

4.具有将形式化和半形式化方法应用于工业规模设计的经验；代表形式化验证支持、新功能或形式化方法自动化重大改进的工具。

5.应用形式化方法来验证网络、分布式系统、智能合约、区块链和物联网设备的安全性、连接性和安全性属性。

6.形式化方法在机器学习系统分析中的应用，以及机器学习在增强形式化方法技术中的应用。

1、重要时间

摘要提交截止日期：2025年4月30日
论文提交截止日期：2025年5月5日
作者回复：2025年6月17日至6月20日
作者通知：2025 年 7 月 1 日
学生论坛摘要提交：2025年7月7日星期一
学生论坛提交：2025年7月13日星期日
学生论坛通知：2025 年 8 月 11 日星期一

2、投稿指南

邀请提交两类论文：常规论文以及工具和案例研究论文。

定期论文有望提供新颖的基础思想、理论结果或对现有方法的算法改进，以及适用的实验影响验证。
工具和案例研究论文有望报告在实际相关环境（不必是工业环境）中验证（或相关）技术的设计、实施或使用情况，以及它对设计过程的影响。
常规论文和工具与案例研究论文均须采用 IEEE Transactions 格式，纸张大小为信纸大小，字体大小为 10 号；最好使用FMCAD论文模板。两类论文的长度均为 8 页（长篇）或 4 页（短篇），不含参考文献。