Workshop on Partiality
and Recursion in
Interactive
Theorem
Provers
15 July 2010, Edinburgh
Programme Committee
Andreas Abel (Ludwig Maximilians University Munich, D)
Yves Bertot (INRIA Sophia-Antipolis, FR)
Ana Bove (Chalmers University of Technology, SE)
Ekaterina Komendantskaya (University of St Andrews, UK)
Ralph Matthes (IRIT Toulouse, FR)
Milad Niqui (CWI, NL)
Anton Setzer (University of Swansea, UK)
Organisers
Ana Bove
Ekaterina Komendantskaya
Milad Niqui
