International Conference on Verification, Model Checking, and Abstract Interpretation
International Conference on Verification, Model Checking, and Abstract Interpretation
Latest edition: VMCAI 2027
Official Portals
Prestige Metrics & Badges
CORE Ranking2026
B
Software engineering
CCF RankingChina CF
CCF B
China Computer Federation
Google Scholar H5-IndexScholar
N/A
Top 5-year cited metric
Submission Deadlines & Live Countdown
VMCAI 2027 • Mexico City Mexico(11 – 12 Jan, 2027)
Main Track
Round 1(conference)Deadline: Sep 24, 2026
DEADLINE PASSED
Anywhere on Earth (UTC-12)
Submission Deadline Has Passed
Please check notifications or wait for the next conference edition.
Complete Track Deadlines
| Track / Round | Format | Abstract Due | Paper Submission | Rebuttal Period | Notification Date | Camera-Ready Due | Time Remaining |
|---|---|---|---|---|---|---|---|
Main TrackRound 1 | conference | TBA | Sep 24, 2026 | — | TBA | TBA | Passed |
Main TrackRound 2 | conference | TBA | Oct 1, 2026 | — | Nov 6, 2026 | TBA | Passed |
Multi-Source Prestige Rankings
Comparative classification across international academic evaluation bodies
| Ranking System | Evaluation Body | Classification | Edition / Year | Field / Scope | Prestige Significance |
|---|---|---|---|---|---|
| CORE Ranking | Computing Research and Education Association of Australasia | B | Year 2026 | Software engineering | Good conference (Top 35%–40% globally) |
| CCF Ranking | China Computer Federation (CCF) | Tier B | CCF 2022 Catalog | Computer Science | High-quality international conference |
| TH-CPL | Tsinghua University | N/A | TH-CPL List | CS & Engineering | Tsinghua Recommended Conference Publishing List |
| Qualis CAPES | CAPES (Brazilian Ministry of Education) | N/A | Sucupira / Qualis | Ciência da Computação | South American academic evaluation standard |
| CCF | Academic Association | B | N/A | General | International prestige ranking |
| CORE | Academic Association | B | N/A | General | International prestige ranking |
| THCPL | Academic Association | B | N/A | General | International prestige ranking |
Conference Editions Timeline
Locations, dates, proceedings, and historical tracks of past & future editions
2027
VMCAI 2027
UpcomingMexico City, Mexico
11 – 12 Jan, 2027
2025
VMCAI 2025
UpcomingDenver, United States
20 – 21 Jan, 2025
2023
VMCAI 2023
UpcomingBoston, United States
16 – 17 Jan, 2023
2022
VMCAI 2022
UpcomingPhiladelphia, United States
16 – 18 Jan, 2022
2021
VMCAI 2021
UpcomingVirtual
17 – 19 Jan, 2021
2019
International Conference on Verification, Model Checking, and Abstract Interpretation
PastCascais/Lisbon, Portugal
13 – 15 Jan, 2019
2018
International Conference on Verification, Model Checking, and Abstract Interpretation
PastLos Angeles, USA
7 – 9 Jan, 2018
2017
International Conference on Verification, Model Checking,and Abstract Interpretation
PastParis, France
15 – 17 Jan, 2017
2016
17th International Conference on Verification, Model Checking, and Abstract Interpretation
PastSt. Petersburg, United States
17 – 19 Jan, 2016
2015
16th International Conference on Verification, Model Checking, and Abstract Interpretation
PastMumbai, India
12 – 14 Jan, 2015
2014
Verification, Model Checking, and Abstract Interpretation
PastSan Diego, San Diego
19 – 21 Jan, 2014
2012
13th International Conference on Verification, Model Checking, and Abstract Interpretation
PastPhiladelphia, USA
22 – 24 Jan, 2012
2011
12th International Conference on Verification, Model Checking, and Abstract Interpretation
PastAustin, USA
23 – 25 Jan, 2011
Academic Resources & External Links
Access DBLP archives, Papers With Code, and official conference portals
DBLP Computer Science
Comprehensive open bibliographic database tracking full papers across editions.
dblp.org ↗
Papers With Code
Explore trending papers, open-source code repositories, and leaderboards.
paperswithcode.com ↗
CORE Ranking Portal
Official evaluation catalog from Computing Research and Education Association.
portal.core.edu.au ↗