International Conference on Verification, Model Checking, and Abstract Interpretation
Welcome to the website of the International Conference on Verification, Model Checking, and Abstract Interpretation 2016 conference.
The VMCAI banquet, which is included in the VMCAI registration fee, will be held at the Museum of Fine Arts (255 Beach Drive NE) on Monday January 18 at 18:30 - 22:30. VMCAI attendees (with a badge) are allowed to enter the museum before 18:30.
Verification, Model Checking, and Abstract Interpretation
Principles of Programming Languages
Off the Beaten
Certified Programs and Proofs
Probabilistic Programming Semantics
Practical Aspects of Declarative Languages
Coq for Programming Languages
Programming Languages Mentoring