VMCAI
International Conference on Verification, Model Checking, and Abstract Interpretation
当前届 / 最近一届
VMCAI 2027
January 11-12, 2027 · Mexico City, Mexico
本届投稿已结束
投稿时间节点
- 全文截止已截止Paper Registration
待核验查看依据
第 2 轮 · 全文
暂无支持当前日期的节点证据，请核对官网。
- 全文截止已截止Paper Submission
待核验查看依据
第 3 轮 · 全文
暂无支持当前日期的节点证据，请核对官网。
第2 轮 · Paper Registration：本轮截止时间已到
第3 轮 · Paper Submission：本轮截止时间已到
其他信息
- 历史录用率
- 2026: 33.3%(18/54 26')（录用 18 / 投稿 54）
- 数据来源
- CCF Deadlines
原始截止日期与时区
时间组 1
全文：2026-09-23 23:59:59 AoE
时间组 2
全文：2026-09-30 23:59:59 AoE
原始截止时区：AoE。延期与具体投稿要求请核对官网。
截止日期漂移
按原始截止日期统计，不随显示时区切换。横轴为年份，纵轴为日期在一年中的位置。
近 6 届截止集中在 9 月中旬，最早与最晚相差 24 天。
录用率趋势
来源见表格链接；同年多轮合并统计。
| 年份 | 投稿 | 录用 | 录用率 | 来源 |
|---|---|---|---|---|
| 2026 | 54 | 18 | 33.3%(18/54 26')统计口径未说明 | link.springer.com |
| 2025 | 48 | 20 | 41.7%(20/48 25')统计口径未说明 | link.springer.com |
| 2024 | 74 | 30 | 40.5%(30/74 24')统计口径未说明 | link.springer.com |
| 2023 | 34 | 17 | 50.0%(17/34 23')统计口径未说明 | link.springer.com |
| 2022 | 48 | 22 | 45.8%(22/48 22')统计口径未说明 | link.springer.com |
| 2021 | 48 | 23 | 47.9%(23/48 21')统计口径未说明 | link.springer.com |
历届截止
每届取最后一轮正式截止；有多轮或摘要截止的在备注列标出。
| 年份 | 截止（原时区） | 会期 | 地点 | 备注 | 状态 |
|---|---|---|---|---|---|
| 2027 | 2026-10-01 11:59 UTC原始：2026-09-30 23:59:59 AoE | January 11-12, 2027 | Mexico City, Mexico | 2 轮 | 已截止 |
| 2026 | 2025-09-16 11:59 UTC原始：2025-09-15 23:59:59 AoE | January 12-13, 2026 | Rennes, France | — | 已截止 |
| 2025 | 2024-10-02 11:59 UTC原始：2024-10-01 23:59:59 AoE | January 20-21, 2025 | Denver, Colorado, USA | — | 已截止 |
| 2024 | 2023-09-08 11:59 UTC原始：2023-09-07 23:59:59 AoE | January 15-16, 2024 | London, United Kingdom | — | 已截止 |
| 2023 | 2022-09-16 11:59 UTC原始：2022-09-15 23:59:59 AoE | January 16-17, 2023 | Boston, Massachusetts, USA | — | 已截止 |
| 2022 | 2021-09-10 11:59 UTC原始：2021-09-09 23:59:59 AoE | January 16-18, 2022 | Philadelphia, Pennsylvania, United States | — | 已截止 |
| 2021 | 2020-10-12 11:59 UTC原始：2020-10-11 23:59:59 AoE | January 17-19, 2021 | Online | — | 已截止 |
举办地历史
- 2027Mexico City, Mexico · January 11-12, 2027
- 2026Rennes, France · January 12-13, 2026
- 2025Denver, Colorado, USA · January 20-21, 2025
- 2024London, United Kingdom · January 15-16, 2024
- 2023Boston, Massachusetts, USA · January 16-17, 2023
- 2022Philadelphia, Pennsylvania, United States · January 16-18, 2022
- 2021Online · January 17-19, 2021