Coq Home Page
Overview
The Coq Workshop series brings together Coq users, developers, and contributors. While conferences like ITP 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. Thus, the workshop will be organized around informal presentations and discussions, supplemented with invited talks.
For more information, please see the Call for papers (HTML).
Pointers to previous editions of the workshop are available at the linked URL.
Program Committee
- Andrej Bauer (University of Ljubljana)
- Derek Dreyer (MPI-SWS) - chair
- Andrew Kennedy (Microsoft Research Cambridge)
- Christine Paulin-Mohring (Université Paris-Sud)
- Matthieu Sozeau (INRIA Paris)
- Antonis Stampoulis (MIT CSAIL)
- Viktor Vafeiadis (MPI-SWS) - chair
- Steve Zdancewic (University of Pennsylvania)