7. CPP 2018: Los Angeles, CA, USA

Invited Talks

Verifing Programs and Systems

Verified Applications

Proof Methods and Libraries

Trusted Verification Frameworks and Systems

Type Theory, Set Theory, and Formalized Mathematics

Formalizing Meta-Theory

maintained by Schloss Dagstuhl LZI at University of Trier