VMCAI 2027
Mon 11 - Tue 12 January 2027 Mexico City, Mexico
co-located with POPL 2027
POPL 2027 (series) / VMCAI 2027 (series) / 28th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2027) /

Organizing Committee VMCAI

Dominik Klumpp

Dominik Klumpp Co-chair

LIX, CNRS, Ecole Polytechnique

France

Caterina Urban

Caterina Urban Co-chair

Inria - École Normale Supérieure

France