Skip to content

VMCAI 2027

International Conference on Verification, Model Checking, and Abstract Interpretation

Software Engineering

Cycle closed, awaiting the next call

All deadlines

Paper submissionSep 23, 2026est.

From past proceedings

Papers in VMCAI's main DBLP volume each year, not official acceptance counts.

Full proceedings stats →

Papers in 2025

21

main DBLP volume

5-year change

+0%

vs 2020

Papers, all years

642

25 years since 2002

Authors per paper

4.0

2.9 in 2015

By an entirely new team

24%

of 2025 papers

Papers per year2002 to 2025
2002: 22 papers2003: 25 papers2004: 26 papers2005: 30 papers2006: 28 papers2007: 27 papers2008: 26 papers2009: 29 papers2010: 27 papers2011: 28 papers2012: 29 papers2013: 31 papers2014: 26 papers2015: 25 papers2016: 26 papers2017: 29 papers2018: 24 papers2019: 27 papers2020: 21 papers2021: 26 papers2022: 24 papers2023: 17 papers2024: 30 papers2025: 21 papers
Read the 2025 proceedingsVolume 1 ↗DBLP ↗Volume 2 ↗DBLP ↗

Top keywords, 2025

synthesisverificationautomateddistributedextensioninvariantsparameterizedprograms

Venues like VMCAI

  1. CAV International Conference on Computer-Aided Verification0.32checkinginfinite-stateverificationreachability
  2. CONCUR International Conference on Concurrency Theory0.18reachabilityautomataconcurrent programschecking
  3. PLDI ACM SIGPLAN Conference on Programming Language Design and Implementation0.18programssynthesisverificationtypes
  4. OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications0.17programsverificationsynthesiscompositional

Most published at VMCAI

  1. Viktor Kuncak2004 to 202517
  2. Kedar S. Namjoshi2003 to 202511
  3. Swen Jacobs2011 to 202511
  4. Amir Pnueli2002 to 201210
  5. Daniel Kroening2003 to 201710

Who publishes here

2026 · papers count once per institution on them

Academia 54%Industry 7%Government and other 39%

Institutions

  1. 1Institut national de recherche en sciences et technologies du numérique🇫🇷3
  2. 2Centre National de la Recherche Scientifique🇫🇷2
  3. 3Universidade Federal de Minas Gerais🇧🇷1
  4. 4Tongji University🇨🇳1
  5. 5Utah State University🇺🇸1
  6. 6Uppsala University🇸🇪1
  7. 7Pohang University of Science and Technology🇰🇷1
  8. 8Ben-Gurion University of the Negev🇮🇱1

Countries

  1. United States5
  2. France4
  3. Germany3
  4. China2
  5. Israel2
  6. Brazil1

Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.