The Coq Workshop

The Coq Workshop series brings together Coq users, developers and contributors. It is a one-day event, held virtually every year since 2009, and generally affiliated with ITP.

While conferences usually provide a venue for traditional research papers, the Coq Workshop focuses on strengthening the Coq community and providing a forum for discussing practical issues, including the future of the Coq software and its associated ecosystem of libraries and tools.

The workshop is supported by Inria.