VMCAI 2016 - 17th International Conference on Verification, Model Checking, and Abstract Interpretation

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.
Program Committee
Barbara Jobstmann (co-chair)
K. Rustan M. Leino (co-chair)