Proofs and Programs

There will be a workshop on Proofs and Programs in University of Gothenburg on 22 Oct 2011.

The workshop will take place in Ågrenska villan, Högåsplatsen 2.

Program (slides)

13:30 - 14:15 Gérard Huet: Relational Programming

14:15 - 15:00 Gilles Barthe: Probabilistic Relational Reasoning for Security.

15:00 - 15:45 Coffee

15:45 - 16:30 Peter Dybjer and Thierry Coquand: Inductive Definitions in Type Theory.

16:30 - 17:15 Christine Paulin-Mohring: About Inductive-Recursive Definitions in Coq