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.
Events
Schedule Overview
| Sunday 17th |
Monday 18th |
Tuesday 19th |
Wednesday 20th |
Thursday 21st |
Friday 22nd |
Saturday 23rd |
|---|---|---|---|---|---|---|
| VMCAI Verification, Model Checking, and Abstract Interpretation |
POPL Principles of Programming Languages |
OBT Off the Beaten |
||||
| CPP Certified Programs and Proofs |
PPS Probabilistic Programming Semantics |
|||||
| PADL Practical Aspects of Declarative Languages |
CoqPL Coq for Programming Languages |
|||||
| PEPM |
||||||
| Tutorials |
PLMW Programming Languages Mentoring |
|||||