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
Subpages (1): talks