CPP 2015: Mumbai, India

Invited Talk 1

Mechanized Semantics

Proof Certificates

Theorem Proving

Invited Talk 2

Program Proof

Verified Algorithms

Mechanizing Fundamental Computer Science

a service of Schloss Dagstuhl - Leibniz Center for Informatics