CPP 2016: Saint Petersburg, FL, USA

Keynotes

Verifying Imperative Programs

Design and Implementation of Theorem Provers

Mathematics

Foundations

Verification for Concurrent and Distributed Systems

Compiler Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics