CFP summary
VMCAI 2026 is the 27th International Conference on Verification, Model Checking, and Abstract Interpretation. The conference provides a forum for researchers from the verification, model checking, and abstract interpretation communities, with a strong emphasis on connections between formal reasoning techniques and practical analysis methods. Co-located with POPL, VMCAI covers sound static and dynamic methods for analyzing programs and systems.
Topics
Verification; model checking; abstract interpretation; static and dynamic analysis; program semantics; formal reasoning about software and systems; hybrid analysis methods; tool support for rigorous analysis.