Full Papers
Peer-reviewed research papers presented at the conference, including distinguished papers recognized for exceptional quality.
Software Eng/CORE B
VMCAI 2026
International Conference on Verification, Model Checking, and Abstract Interpretation
VMCAI 2026 is the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, serving as a forum for researchers to advance hybrid methods in these areas. The conference will be held in person in Rennes, France, co-located with POPL 2026, featuring keynotes, peer-reviewed papers, and an artifact evaluation track to promote reproducibility and innovation.
Key deadlines
Verified September 9, 2026Full paper
September 16, 2025
AoE
Conference timeline
Submission and decisions
Full paperKey deadline
September 16, 2025 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Artifacts
Supplementary materials such as software, tools, datasets, or proofs submitted alongside papers to enable replication and reuse; evaluated separately with possible ACM badges (Available, Functional, Reusable).
Research areas in scope
01
Analysis
Static AnalysisAbstract InterpretationData Race DetectionTermination AnalysisSymbolic ExecutionAbstraction Refinement
02
Artificial Intelligence
Neural Network VerificationProof MinimizationLogic and Automata for Transformers
03
Models
Formal SemanticsVHDL VerificationPROMELA SemanticsCausality in Stochastic SystemsCellular AutomataMulti-agent SystemsSafe Controller Synthesis
04
Solvers
SMT SolvingCongruence ClosureBDD QuantificationSAT-Based SynthesisReal-Time Automata
05
Quantum and Probabilistic Verification
Quantum Program VerificationSMT for Photonics CircuitsProbabilistic VerificationNetwork-on-Chip Systems
Policies worth checking twice
- Artifact evaluation is single-blind; artifacts must not be anonymous.
- Artifact submission is optional but strongly encouraged and considered during paper review.
- Accepted artifacts may receive ACM badges: Available (publicly accessible via DOI), Functional (successfully evaluated), or Reusable (high-quality and well-documented).
- Distinguished Paper status is awarded to selected papers based on review and evaluation.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Official conference siteVMCAI ProgramProgram CommitteeTypedC: Spatial Memory Safety for Low Level Programs by Abstract Interpretation Sign inSign in
Last verified September 9, 2026