会议简介 Brief Introduction01

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

FMCAD于1996年首次举办，在2006年之前为两年一届。2006年，FMCAD与CHARME合并，成为一年一届的会议。合并前，FMCAD在偶数年于美国举办，其姊妹会议CHARME则在奇数年于欧洲举办。自2006年起，FMCAD会议每年在不同的国际地点举办。

重要信息 Highlights02

组织委员会

项目主席

Bruno Dutertre，AWS，美国
Bettina Könighofer，奥地利格拉茨工业大学

学生论坛主席

坦娅·辛德勒，瑞士巴塞尔大学
Lee A. Barnett，AWS，美国

出版主席

Georg Weissenbacher，奥地利维也纳工业大学

宣传主席

Martin Tappler，奥地利维也纳工业大学

网络椅

Stefan Pranger，奥地利格拉茨工业大学
Thomas Hader，奥地利维也纳工业大学

征稿主题 Call for Paper03

关注的主题包括（但不限于）：

模型检查、定理证明、等价检查、抽象与约简、合成方法、位和字层的决策过程、概率方法、演绎方法与决策过程的组合。
计算机系统描述的综合与编译、建模、规范和实现语言、语言及其子集的形式语义、基于模型的设计、设计推导与转换、构造纠正方法。
将形式和半形式方法应用于硬件和软件的功能性和非功能性规格与验证，包括时序和功耗建模、计算系统各层次抽象验证、嵌入式系统、网络物理系统、汽车系统及其他安全关键系统的系统级设计与验证、硬件-软件协同设计与验证，以及事务级验证。
在工业规模设计中应用正式和半形式方法的经验;代表形式验证赋能、新功能或形式方法自动化的实质性改进的工具。
将正式方法应用于验证网络、分布式系统、智能合约、区块链和物联网设备的安全性、连接性和安全性属性。
对数据驱动的人工智能系统进行正式验证，涵盖安全性、对对抗输入的鲁棒性、可靠性、公平性以及合规性。
人工智能在增强形式方法技术上的应用，包括不变推断和规范推断、基于学习的验证与综合启发式方法，以及数据驱动的验证工作流程。

会议投稿 Conference submission 04

摘要投稿：

~~2026年4月26日~~2026年5月4日

论文投稿：

~~2026年5月3日~~2026年5月11日

评论截止：

2026年6月22日

反驳阶段：

2026年6月30日 – 7月5日

PC讨论阶段：

2026年7月6日 – 7月17日

作者通知：

2026年7月19日

学生论坛摘要提交：

~~2026年6月16日~~2026年6月21日

学生论坛投稿：

~~2026年6月22日~~2026年6月28日

学生论坛通知：

2026年7月21日

最终版提交：

2026年8月1日

提交必须通过Easychair以PDF格式电子提交。

邀请两种论文类别：常规论文和工具与案例研究论文。

常规论文应提供新的基础思想、理论成果或对现有方法的算法改进，并在适用时进行实验影响验证。
工具与案例研究论文应报告验证（或相关）技术在实际相关背景下的设计、实施或使用（不一定是工业环境）及其对设计流程的影响。

常规论文和工具与案例研究论文均须使用IEEE Transactions格式，采用A4纸，10号字体；建议使用FMCAD模板。两类论文的长度均为9页（长篇）或5页（短篇），不包括参考文献。我们鼓励提交篇幅较短、内容精炼的论文，例如描述新兴成果、实践经验或原创想法的论文。作者需在提交摘要时选择合适的论文类别。论文可包含可选附录，该附录不会出现在最终版本中。审稿人无需阅读附录即可评估论文的质量和相关性。

所有类别的投稿必须包含原创研究，且该研究此前未曾发表，也未同时投稿至其他期刊。如与已发表或同时投稿的论文存在部分重叠，必须明确标明。

FMCAD采用严格的同行评审流程，每篇投稿都将由至少四位程序委员会成员进行评审。评审过程为单盲评审。评审流程中将包含反馈和答辩阶段，在此期间，作者有机会正式回应评审意见。