The Coq Workshop series

The Coq Workshop series brings together Coq users, developers and contributors. Workshops are one-day events held almost every year since 2009, and are generally affiliated with conferences in the ITP series.

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.