CCF B软件工程/系统软件/编程语言2022 版：B 类出版方：Springer
VMCAIInternational Conference on Verification, Model Checking and Abstract Interpretation
VMCAI 是 CCF 第七版（2026）目录软件工程/系统软件/程序设计语言领域的 B 类会议，2022 年第六版同为 B 类。VMCAI 2028 截稿时间官方尚未公布，按近几届推算约在 9月下旬。VMCAI 2027 于 2027年1月11–12日在 Mexico City, Mexico 举行。2026 年录用率 33.3%（18/54）。
关注每个截稿前约 7 天和 1 天邮件提醒
数据更新于 2026-11-08 · 等级来自 CCF 第七版目录
最近一届
VMCAI 2027 征稿时间线
- 北京时间 · 原文 2026-09-23 23:59 AoE全文截稿Paper Registration社区数据·待核验
- 北京时间 · 原文 2026-09-30 23:59 AoE全文截稿Paper Submission社区数据·待核验
- 2026-11-06会议公布的日期录用通知Paper Submission社区数据·待核验
- 2027年1月11–12日当地时间会议举行Mexico City, Mexico
AoE 即 UTC−12，AoE 某日 23:59 为北京时间次日 19:59（时区换算说明）。以上时间来自 ccf-deadlines 社区数据，尚未与会议官网核对，投稿前请以官网为准。 会议官网 ↗
历届数据
历届时间、地点、截稿与录用率
| 届次 | 全文截稿 | 录用率 | dblp 论文数 | 会议日期 | 举办地 |
|---|---|---|---|---|---|
| 2027 | 2026-09-23AoE | — | — | 2027年1月11–12日 | Mexico City, Mexico |
| 2026 | 2025-09-15AoE | 33.3%18/54 · 出处 | 18 | 2026年1月12–13日 | Rennes, France |
| 2025 | 2024-10-01AoE | 41.7%20/48 · 出处 | 21 | 2025年1月20–21日 | Denver, Colorado, USA |
| 2024 | 2023-09-07AoE | 40.5%30/74 · 出处 | 30 | 2024年1月15–16日 | London, United Kingdom |
| 2023 | 2022-09-15AoE | 50.0%17/34 · 出处 | 17 | 2023年1月16–17日 | Boston, Massachusetts, USA |
| 2022 | 2021-09-09AoE | 45.8%22/48 · 出处 | 24 | 2022年1月16–18日 | Philadelphia, Pennsylvania, United States |
| 2021 | 2020-10-11AoE | 47.9%23/48 · 出处 | 26 | 2021年1月17–19日 | Online |
| 2020 | — | — | 21 | — | — |
| 2019 | — | — | 27 | — | — |
| 2018 | — | — | 24 | — | — |
| 2017 | — | — | 29 | — | — |
| 2016 | — | — | 26 | — | — |
VMCAI 2028 截稿预估：约 9月下旬（官方未公布）。依据：最近几届全文截稿分别为 2027 届 2026 年 9 月 24 日、2026 届 2025 年 9 月 16 日、2025 届 2024 年 10 月 2 日（北京时间）。以官方公布为准。
dblp 论文数只计主会论文集，不含 Workshop 论文集；录用率附数据出处。 dblp 历届论文集 ↗
CCF 目录
VMCAI 在 CCF 目录中的等级
- 第七版（2026）
- CCF B 软件工程/系统软件/程序设计语言 · 序号 13
- 第六版（2022）
- CCF B 软件工程/系统软件/程序设计语言
- 目录全称
- International Conference on Verification, Model Checking and Abstract Interpretation
- 出版方
- Springer
- dblp
- conf/vmcai ↗
CCF 的说明：目录中的会议论文指正式发表的长文（Full paper 或 Regular paper），Short paper、Demo paper、Technical Brief、Summary、Findings 以及伴随会议的 Workshop 不在目录考虑范围内。CCF 也说明目录只是推荐列表，不建议简单地作为学术评价依据，具体以所在单位的规定为准。 哪些论文计入，逐类说明 →
常见问题
关于 VMCAI
VMCAI 是 CCF 几类会议？
VMCAI 是 CCF 第七版（2026）目录软件工程/系统软件/程序设计语言领域的 B 类会议，2022 年第六版同为 B 类。
VMCAI 2028 的截稿时间是什么时候？
官方尚未公布。最近几届全文截稿分别为 2027 届 2026 年 9 月 24 日、2026 届 2025 年 9 月 16 日、2025 届 2024 年 10 月 2 日（北京时间），预计在 9月下旬，以官方公布为准。
VMCAI 2027 在哪里举办？
VMCAI 2027 于 2027年1月11–12日在 Mexico City, Mexico 举行。
VMCAI 的录用率是多少？
VMCAI 2026 收到 54 篇投稿，录用 18 篇，录用率 33.3%。2025 年为 41.7%（20/48）。每个数字的出处见“历届数据”表。
VMCAI 的 Workshop 和短文算 CCF B 吗？
CCF 的说明：目录中的会议论文指正式发表的长文（Full paper 或 Regular paper），Short paper、Demo paper、Technical Brief、Summary、Findings 以及伴随会议的 Workshop 不在目录考虑范围内。CCF 也说明目录只是推荐列表，不建议简单地作为学术评价依据，具体以所在单位的规定为准。
详细说明：CCF 推荐会议论文怎么算 · 会议截稿时间怎么换算
来源：CCF 推荐国际学术会议和期刊目录第七版（2026 年 3 月 31 日发布，4 月 9 日勘误）与第六版（2022）；届次、截稿时间与录用率来自 ccf-deadlines 社区数据（MIT 许可），与会议官网核对前标注为“社区数据·待核验”，核对一致后标注“官网核验”并附官网原文；历届论文集与论文数来自 dblp（CC0）。