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

maintained by Schloss Dagstuhl LZI at University of Trier