Coq-2: July 9

2nd Workshop of Coq users, developers, and contributors

associated with ITP


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.


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