The Coq workshop brings together Coq users, developers and contributors. It usually consists of one day events affiliated to larger conferences. This series of event was started in 2009 and now contains the following workshops:

• 2009, August 21st, Munich, Germany
• 2010, July 9th, Edinburgh, Scotland

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