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/