VMCAI 2026
Sun 11 - Sat 17 January 2026 Rennes, France
co-located with POPL 2026
POPL 2026 (series) / VMCAI 2026 (series) / 27th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2026) /

Artifact Evaluation Committee VMCAI

small-avatar

Marek Chalupa Co-chair

Institute of Science and Technology Austria

small-avatar

Yong Li Co-chair

Institute of Software, Chinese Academy of Sciences

China