VMCAI 2026: Call for Papers

VMCAI 2026 will be the 27th edition in the series, providing a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation. The conference aims to facilitate interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Conference Details

• Dates: January 11 - Saturday 17, 2026
• VMCAI 2026 Specific Dates: January 12-13, 2026
• Venue: Le Couvent des Jacobins, Rennes, France
• Co-located with: POPL 2026
• Participation: The event will be a physical (in-person) event.
• Presentation Requirement: For each accepted paper, at least one author is required to register for the conference and present the paper in person.

Topics of Interest

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

• Format: Submissions are required to follow Springer’s LNCS format.
• Review Process: Submissions will undergo a single-blind review process.
• Categories: There will be three categories of papers:
  • Regular papers: Clearly identify and justify an advance to the field of verification, abstract interpretation, or model checking. Supported by experimental validation where applicable. Page Limit: 20 pages (excluding references).
  • Tool papers: Present a new tool, a new tool component, or novel extensions to an existing tool. Emphasize design and implementation concerns. Page Limit: 12 pages (excluding references).
  • Case studies: Describe the use of verification, model checking, and abstract interpretation techniques in new application domains or industrial settings. Page Limit: 20 pages (shorter papers are also welcome).
• Submission Platform: Submission will be via EasyChair.

Call for Artifacts

VMCAI 2026 makes available the option to submit an artifact along with a paper. Artifacts are any additional material that substantiates the claims made in the paper, and ideally makes them fully replicable.

Committees

• Organizing Committee
• Program Committee
• Artifact Evaluation Committee

Sponsorship

VMCAI is welcoming diamond, silver and bronze sponsors.