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:
- 2014, July 18th, Vienna, Austria
- 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).