conferences.computer.science

All conferences / VMCAI / 2027

VMCAI 2027

28th International Conference on Verification, Model Checking, and Abstract Interpretation

Held11–12 Jan 2027 WhereMexico City 🇲🇽 RankCORE B Website conf.researchr.org/home/VMCAI-2027 ↗
Open

Papers are due 15 Sep 2026 (AoE) — in 28 days.

Submission timeline

  • 15 Sep 2026 Full paper AoE
  • 6 Nov 2026 Notification
  • 11 Jan 2027 Conference opens

What to submit

Format
20 pages LNCS + references + appendix (regular / case studies) / 12 pages + references (tool)
Proceedings
Springer LNCS — Paywalled, for-profit
Reviewing
Double blind
Artifacts
VMCAI 2027 offers authors the option to submit an artifact alongside their paper
Chairs and
invited speakers
Mixed genders
chairs 1 man, 1 woman
How this is counted
Co-located with
POPL 2027

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement. The conference’s own page is at conf.researchr.org/home/VMCAI-2027. 

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

VMCAI 2027 will take place on January 11–12, 2027 in Mexico City, Mexico, co-located with POPL 2027.

Topics of interest include, but are not limited to:
* program verification
* model checking
* abstract interpretation
* abstract domains
* program synthesis
* static analysis
* type systems
* deductive methods
* program logics
* first-order theories
* decision procedures
* interpolation
* Horn clause solving
* program certification
* separation logic
* probabilistic programming and analysis
* error diagnosis
* detection of bugs and security vulnerabilities
* program transformations
* hybrid and cyber-physical systems
* concurrent and distributed systems
* verification for quantum computation
* analysis of numerical properties
* analysis of smart contracts
* analysis of neural networks
* case studies in all of the above areas

Submissions must follow the Springer LNCS format and will be handled through EasyChair: https://easychair.org/conferences/?conf=vmcai2027

Important dates (AoE):
Paper submission: September 16, 2026
Notification: November 6, 2026

All accepted papers will be published in Springer’s Lecture Notes in Computer Science (LNCS) series.

Paper categories and page limits (excluding references):
Regular papers: 20 pages
Tool papers: 12 pages
Case studies: 20 pages

Regular papers should present significant advances in verification, model checking, or abstract interpretation, supported by technical development and, where applicable, experimental evaluation.

Tool papers should describe new tools or significant extensions of existing tools, including their foundations, implementation, capabilities, and evaluation. Authors are encouraged to make tools publicly available and submit artifacts.

Case studies should describe novel applications of formal methods in new domains or industrial settings, including evaluations and lessons learned from technology transfer.

Regular paper submissions will undergo double-blind review. VMCAI 2027 also offers optional artifact submission to support reproducibility and evaluation of results.

We look forward to receiving your submissions and welcoming you to VMCAI 2027 in Mexico City!

Conference website: https://conf.researchr.org/home/VMCAI-2027

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority 🤓