第28届国际验证、模型检测与抽象解释会议

VMCAI是形式化方法领域的知名国际会议，为验证（Verification）、模型检测（Model Checking）与抽象解释（Abstract Interpretation）三个紧密相关方向的研究者提供交流与交叉融合的平台，推动混合方法的发展。2027年为第28届，将以线下（in-person） 形式在墨西哥城举行，并与POPL 2027合办。会议为CCF B类、ICORE B类、QUALIS A2会议。

1. 检索信息：录用论文由Springer LNCS出版，该系列稳定被EI Compendex与Scopus收录；会议本身为CCF B类、ICORE B类、QUALIS A2。

2. 出版信息：所有录用论文发表于Springer的Lecture Notes in Computer Science（LNCS） 系列。通讯作者须在提交最终稿时签署License-to-Publish表格。

3. 组委会信息（部分关键职位） ：

• Organizing Committee Co-Chairs：

  • Dominik Klumpp（LIX, CNRS, Ecole Polytechnique, France）

  • Caterina Urban（Inria – École Normale Supérieure, France）

• Steering Committee（部分） ：

  • Viktor Kunčak（EPFL, Switzerland）

  • Andreas Podelski（University of Freiburg, Germany）

  • Sriram Sankaranarayanan（University of Colorado Boulder, USA）

  • Lenore Zuck（UIC, USA）

VMCAI 2027的征稿主题包括但不限于：

• 程序验证（Program verification）

• 模型检测（Model checking）

• 抽象解释（Abstract interpretation）

• 抽象域（Abstract domains）

• 程序综合（Program synthesis）

• 静态分析（Static analysis）

• 类型系统（Type systems）

• 演绎方法（Deductive methods）

• 程序逻辑（Program logics）

• 一阶理论（First-order theories）

• 判定过程（Decision procedures）

• 插值（Interpolation）

• Horn子句求解（Horn clause solving）

• 程序认证（Program certification）

• 分离逻辑（Separation logic）

• 概率编程与分析（Probabilistic programming and analysis）

• 错误诊断（Error diagnosis）

• 漏洞与安全缺陷检测（Detection of bugs and security vulnerabilities）

• 程序变换（Program transformations）

• 混合系统与信息物理系统（Hybrid and cyber-physical systems）

• 并发与分布式系统（Concurrent and distributed systems）

• 量子计算验证（Verification for quantum computation）

• 数值性质分析（Analysis of numerical properties）

• 智能合约分析（Analysis of smart contracts）

• 神经网络分析（Analysis of neural networks）

• 投稿系统：EasyChair（https://easychair.org/conferences/?conf=vmcai2027）

• 格式：Springer LNCS格式

• 论文类别与页数限制（不含参考文献）：

  • Regular papers：20页

  • Tool papers：12页

  • Case studies：20页

• 评审方式：Regular paper采用双盲评审；Tool papers与Case studies的评审方式未在CFP中单独强调双盲，但整体会议鼓励匿名化与可复现性

• 录用要求：每篇录用论文至少一位作者须注册会议并亲自到场报告

• 可复现性：会议提供Artifact Evaluation可选流程，鼓励作者公开工具与artifact

• 截止时间：AoE（Anywhere on Earth） 时间