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:

Summary


Statcounter W3C Validator Last updated on 3 November 2016. Come back to main page.