January 12, 2014 - January 14, 2014

16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)

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.