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 2026 will be the 27th edition in the series. VMCAI 2026 will take place during January 12-13, 2026 as a physical (in-person) event in Rennes, France, co-located with POPL 2026. 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