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.