6. CPP 2017: Paris, France

Keynotes

Algorithm and Library Verification

Automated Proof and Its Formal Verification

Formalized Mathematics with Numerical Computations

Verified Programming Tools

Homotopy Type Theory

Formal Verification of Programming Language Foundations

maintained by Schloss Dagstuhl LZI at University of Trier