国际站 
VMCAI为来自验证、模型检测和抽象解释领域的研究人员提供了一个交流平台，促进各领域之间的互动、交叉融合，并推动这些及相关领域混合方法的发展。VMCAI 2027将是该系列会议的第28届。本届会议将于2027年1月11日至12日在墨西哥墨西哥城以线下形式举行，与POPL 2027同期举办。
学术会议会议详情
VMCAI 2027
第28届国际验证、模型检测与抽象解释会议（VMCAI 2027）
# 计算机科学与信息技术# 计算机科学与技术
会议日期2027.01.11 - 01.12
会议地点墨西哥 墨西哥城
截稿倒计时：
2天10时56分49秒
分享页面：
8
BRIEF INTRODUCTION
会议简介
NO.1
HIGHLIGHTS
重要信息
NO.2
组委会
Organizing Committee
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, United States
Lenore Zuck, UIC, United States
CALL FOR PAPERS
征稿主题
NO.3
程序验证：
- 模型检测
- 抽象解释
- 抽象域
- 程序综合
- 静态分析
- 类型系统
- 演绎方法
- 程序逻辑
- 一阶理论
- 判定过程
- 插值
- 子句求解
- 程序认证
- 分离逻辑
- 概率编程与分析
- 错误诊断
- 漏洞与安全缺陷检测
- 程序变换
- 混合系统与网络物理系统
- 并发与分布式系统
- 量子计算验证
- 数值性质分析
- 智能合约分析
- 神经网络分析
KEYNOTE SPEAKERS
主讲嘉宾
NO.4
Isabella Mastroeni
TBA
TBA
Cezara Drăgoi
TBA
TBA
CONFERENCE HISTORY
会议历史
NO.5
CONFERENCE SUBMISSION
会议投稿
NO.6
投稿链接：https://easychair.org/conferences/?conf=vmcai2027
CONTACT US
联系方式
NO.7
Organizing Committee邮箱：[email protected]
相关会议
2026年第十二届计算机与通信国际会议（ICCC 2026）
2026.12.11 - 12.14
中国 成都
截稿时间：2026.10.20
EI COMPENDEX其它
2027年第16届教育和信息技术国际会议（ICEIT 2027）
2027.03.26 - 03.28
中国 重庆
截稿时间：2026.11.05
EISCOPUS
2027年第十届图像与图形处理国际会议（ICIGP 2027）
2027.01.15 - 01.17
中国 深圳
截稿时间：2026.11.10
EISCOPUS
2027年第九届控制与计算机视觉国际会议（ICCCV 2027）
2027.04.02 - 04.04
中国 天津
截稿时间：2026.11.10
EISCOPUS
2027年第16届软件与计算机应用国际会议（ICSCA 2027）
2027.01.22 - 01.24
马来西亚 布城
截稿时间：2026.10.20
EISCOPUS
2026年第三届人工智能与教师教育国际会议（ICAITE 2026）
2026.12.06 - 12.08
日本 长崎
截稿时间：2026.10.15
EI COMPENDEXSCOPUS