CPP 2013: Melbourne, Victoria, Australia

Invited Lectures

Session 1: Code Verification

Session 2: Elegant Proofs

Session 3: Proof Libraries

Session 4: Mathematics

Session 5: Certified Transformations

Session 6: Security

maintained by Schloss Dagstuhl LZI at University of Trier