The Coq workshop brings together Coq users, developers and contributors. In 2010, it will be held in Edinburgh, on July 9, as a satellite workshop of the ITP conference and a part of the Federated Logic Conference.

The call for paper, with the description of topics, important dates and the program committee is available here.

The workshop is supported by the Coq Technological Development Action (at INRIA).