CPP 2015: Mumbai, India

Invited Talk 1

Mechanized Semantics

Proof Certificates

Theorem Proving

Invited Talk 2

Program Proof

Verified Algorithms

Mechanizing Fundamental Computer Science

maintained by Schloss Dagstuhl LZI at University of Trier