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

• 2013, July 22nd, Rennes, France
• 2012, August, Princeton, NJ, USA
• 2011, August 26th, Nijmegen, Netherlands
• 2010, July 9th, Edinburgh, Scotland
• 2009, August 21st, Munich, Germany

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