Proof Assistants and Related Tools - The PART Project

Seminar Wednesday 25 February 2015 12:00-16:00 at DTU building 101 room S10
Proof Assistants and Related Tools - The PART Project
Talks:

12:15-12:45 Jørgen Villadsen (DTU Compute): Computer-Checked Meta-Logic

13:00-13:30 Jesper Bengtson (ITU): Software Verification Using Proof Assistants

14:00-14:30 Sebastian Alexander Mödersheim (DTU Compute): Integrating Automated and Interactive Protocol Verification (joint work with Achim Brucker, SAP Research)

14:45-15:15 Ximeng Li (DTU Compute): Coq for Programming Language Proofs - A Personal Experience


Please find the full program and abstracts here: http://part.compute.dtu.dk/