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) /

Program Committee VMCAI

Yu-Fang Chen

Yu-Fang Chen Co-chair

Academia Sinica

Taiwan

Thomas P. Jensen

Thomas P. Jensen Co-chair

INRIA Rennes

Ondřej Lengál

Ondřej Lengál Co-chair

Brno University of Technology

Czechia