1st Workshop on the certification of termination proofs, May 11-12, Nancy

Location: LORIA, room C103, Campus Scientifique, 54506 Vandoeuvre-lès-Nancy [access] [hotels]

Participants (8): Frédéric Blanqui (Nancy), Adam Koprowski (Eindhoven) , Aart Middeldorp (Innsbruck), Christian Sternagel (Innsbruck), René Thiemann (Aachen), Carsten Fuhs (Aachen), Johannes Waldmann (Leipzig), Joerg Endrullis (Amsterdam)

Inscription: contact Frédéric Blanqui

Program:

• Automated certification of termination proofs (Frédéric Blanqui)
• Certification of Matrix Interpretations in Coq (Adam Koprowski)
• A termination proof format (Christian Sternagel)
• (Hopefully) Verifiable XML Proofs of AProVE (René Thiemann)
• A Control Language (Proposal) for Modular Termination Provers (Johannes Waldmann)
• Discussion on the termination competition
• Discussion on submitting an european project
• Definition of a termination proof grammar

Summary

Last updated on 3 May 2012. Come back to main page.