The Coq Workshop

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:

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