VMCAI

International Conference on Verification, Model Checking, and Abstract Interpretation

CCF BCORE BTH-CPL B软件工程/系统软件/程序设计语言3 届 · 2022–2027

当前届 / 最近一届

进行中

January 11-12, 2027·Mexico City, Mexico

International Conference on Verification, Model Checking, and Abstract Interpretation

CCF BCORE BTH-CPL B软件工程/系统软件/程序设计语言

--天

--时

--分

--秒

截止: 2026-09-16 23:59:59 AoE

横轴为年份，纵轴为截止日在一年中的位置；点越平说明每年越准时。

近 3 届截止都在 9 月中旬，非常稳定（前后相差 7 天）。

来源见表格链接；同年多轮合并统计。

暂无录用率数据。

每届取最后一轮正式截止；有多轮或摘要截止的在备注列标出。

年份	截止（原时区）	会期	地点	备注	状态
2027	2026-09-16 23:59:59 AoE	January 11-12, 2027	Mexico City, Mexico	—	进行中
2026	2025-09-15 23:59:59 AoE	January 12-13, 2026	Rennes, France	—	已结束
2022	2021-09-09 23:59:59 AoE	January 16-28, 2022	Philadelphia, Pennsylvania, United States	—	已结束