2nd Workshop of Coq users, developers, and contributors
associated with ITP
Overview
The Coq workshop brings together Coq users, developers and contributors. The previous edition was held in Munich on August 21st, 2009. this edition consists in 11 talks, among which 2 have associated papers, to be published in the Electronic Proceedings in theoretical Computer Science.
More information can be found here.
Programme
Program Chairs
Yves Bertot, INRIA, France
Program Committee:
Andrew Appel, Princeton University, United States
Adam Chlipala, Harvard University, United States
Georges Gonthier, Microsoft Research, United Kingdom
Benjamin Grégoire, INRIA, France
Hugo Herbelin, INRIA, France
Micaela Mayero, LIPN (Université Paris13), France
Christine Paulin-Mohring, Université Paris-Sud, France
Bas Spitters, Eindhoven University of Technology, Netherlands