VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016

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.

Invited Speakers

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