CCF BSoftware Engineering and PL2022: BPublisher: Springer
VMCAIInternational Conference on Verification, Model Checking and Abstract Interpretation
VMCAI is a rank B conference in Software Engineering, System Software and Programming Languages in the CCF list's 7th edition (2026), as in 2022. The VMCAI 2028 deadline is not announced; past editions suggest late September. VMCAI 2027 takes place on Jan 11–12, 2027 in Mexico City, Mexico. Acceptance rate 2026: 33.3% (18/54).
FollowGet an email a week and a day before each deadline
Data updated 8 November 2026 · rank from the CCF list's 7th edition
Latest edition
VMCAI 2027: call for papers timeline
- Sep 24, 2026, 11:59 UTCPaperPaper RegistrationCommunity data · unverified
- Oct 1, 2026, 11:59 UTCPaperPaper SubmissionCommunity data · unverified
- Nov 6, 2026As announced by the conferenceNotificationPaper SubmissionCommunity data · unverified
- Jan 11–12, 2027Local timeConferenceMexico City, Mexico
AoE (Anywhere on Earth) is UTC−12 (time zones explained). These dates come from the ccf-deadlines community project and have not yet been checked against the conference website; confirm them there before you submit. Conference website ↗
Past editions
Dates, venues, deadlines and acceptance rates
| Year | Paper deadline | Acceptance | Papers (dblp) | Dates | Venue |
|---|---|---|---|---|---|
| 2027 | 2026-09-23AoE | — | — | Jan 11–12, 2027 | Mexico City, Mexico |
| 2026 | 2025-09-15AoE | 33.3%18/54 · source | 18 | Jan 12–13, 2026 | Rennes, France |
| 2025 | 2024-10-01AoE | 41.7%20/48 · source | 21 | Jan 20–21, 2025 | Denver, Colorado, USA |
| 2024 | 2023-09-07AoE | 40.5%30/74 · source | 30 | Jan 15–16, 2024 | London, United Kingdom |
| 2023 | 2022-09-15AoE | 50.0%17/34 · source | 17 | Jan 16–17, 2023 | Boston, Massachusetts, USA |
| 2022 | 2021-09-09AoE | 45.8%22/48 · source | 24 | Jan 16–18, 2022 | Philadelphia, Pennsylvania, United States |
| 2021 | 2020-10-11AoE | 47.9%23/48 · source | 26 | Jan 17–19, 2021 | Online |
| 2020 | — | — | 21 | — | — |
| 2019 | — | — | 27 | — | — |
| 2018 | — | — | 24 | — | — |
| 2017 | — | — | 29 | — | — |
| 2016 | — | — | 26 | — | — |
VMCAI 2028 deadline forecast: late September (not announced). The last paper deadlines: 2027: Sep 24, 2026; 2026: Sep 16, 2025; 2025: Oct 2, 2024. The conference's own announcement decides.
Paper counts are dblp's main proceedings only, without workshop volumes; acceptance rates link to the page they come from. dblp ↗
CCF list
VMCAI in the CCF list
- 7th edition (2026)
- CCF B Software Engineering, System Software and Programming Languages · no. 13
- 6th edition (2022)
- CCF B Software Engineering, System Software and Programming Languages
- Name in the list
- International Conference on Verification, Model Checking and Abstract Interpretation
- Publisher
- Springer
- dblp
- conf/vmcai ↗
CCF counts the full (regular) papers of a listed conference: short papers, demos, technical briefs, summaries, Findings and the workshops held with a conference are outside the list. CCF also says the list is a recommendation and should not be used on its own to evaluate research; your institution's rules decide. What counts, case by case →
FAQ
About VMCAI
What CCF rank is VMCAI?
VMCAI is a rank B conference in Software Engineering, System Software and Programming Languages in the CCF list's 7th edition (2026), as in 2022.
When is the VMCAI 2028 deadline?
Not announced yet. The last paper deadlines were 2027: Sep 24, 2026; 2026: Sep 16, 2025; 2025: Oct 2, 2024, so late September is likely; the conference's announcement decides.
Where is VMCAI 2027?
VMCAI 2027 takes place on Jan 11–12, 2027 in Mexico City, Mexico.
What is the VMCAI acceptance rate?
2026: 54 submissions, 18 accepted, 33.3%. 2025: 41.7% (20/48). The history table links each figure to its source.
Do VMCAI workshop and short papers count as CCF B?
CCF counts the full (regular) papers of a listed conference: short papers, demos, technical briefs, summaries, Findings and the workshops held with a conference are outside the list. CCF also says the list is a recommendation and should not be used on its own to evaluate research; your institution's rules decide.
In more detail: Which CCF conference papers count · How to read conference deadlines
Sources: the CCF list of recommended international conferences and journals, 7th edition (published 31 March 2026, corrected 9 April 2026) and 6th edition (2022); editions, deadlines and acceptance rates from the ccf-deadlines community project (MIT licence), marked as community data until checked against each conference's website, then marked as checked with the website's own words; proceedings and paper counts from dblp (CC0).