VMCAI 2026: Call for Papers

The 27th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2026) will be held in Rennes, France, during January 12-13, 2026, co-located with POPL 2026. This is a physical (in-person) event.

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.

For each accepted paper, at least one author is required to register for the conference and present the paper in person.

List of Topics

The program will consist of refereed research papers as well as invited talks. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques.

Topics 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 on all of the above topics

Submission Guidelines

Submissions are required to follow Springer’s LNCS format. The page limit depends on the paper’s category. Submission will be via EasyChair.

Submissions will undergo a single-blind review process. There will be three categories of papers: regular papers, tool papers, and case studies.

• Regular papers clearly identify and justify an advance to the field of verification, abstract interpretation, or model checking. Where applicable, they are supported by experimental validation. Regular papers are restricted to 20 pages in LNCS format, not counting references.
• Tool papers present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations, and emphasize the design and implementation concerns, including software architecture and core data structures. Tool papers are restricted to 12 pages in LNCS format, not counting references.
• Case studies are expected to describe the use of verification, model checking, and abstract interpretation techniques in new application domains or industrial settings. Case study papers are restricted to 20 pages in LNCS format, not counting references. (Shorter case study papers are also welcome.)

Important Dates

All deadlines are AoE (UTC-12h).

• Paper Submission Deadline: Wed 10 Sep 2025
• Artifact Submission Deadline: Mon 22 Sep 2025
• Notification: Thu 6 Nov 2025
• Camera Ready: Thu 20 Nov 2025

Organizing Committee

• Yu-Fang Chen (Academia Sinica, Taiwan)
• Thomas P. Jensen (INRIA Rennes)
• Ondřej Lengál (Brno University of Technology, Czechia)

Program Committee

• Yu-Fang Chen (Co-chair, Academia Sinica, Taiwan)
• Thomas P. Jensen (Co-chair, INRIA Rennes)
• Ondřej Lengál (Co-chair, Brno University of Technology, Czechia)

Artifact Evaluation Committee

• Marek Chalupa (Co-chair, Institute of Science and Technology Austria)
• Yong Li (Co-chair, Institute of Software, Chinese Academy of Sciences, China)

Sponsorship

VMCAI is welcoming diamond, silver and bronze sponsors.