The Coq Workshop 2019

coq logo

Location: Portland State University, Portland, OR, USA

Date: September 8, 2019


[2019-06-11 Tue]
Abstract submission closed.
[2019-06-05 Wed]
The submission deadline has been extended to 2019-06-10 (Mon).
[2019-05-31 Fri]
EasyChair is experiencing network problems causing files uploads to be slow. The problem should be fixed within one day. Problem solved on [2019-06-01 Sat].
[2019-05-21 Tue]
We are very happy to announce Dr. ✨Nicolas Tabareau✨ as an invited speaker and to confirm a session with the 🐓Coq development team🐓!

The Coq workshop 2019 is part of ITP 2019.

The Coq workshop 2019 is the 10th Coq Workshop. The Coq Workshop series brings together Coq users, developers, and contributors. 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. Thus, the workshop will be organized around informal presentations and discussions, supplemented with invited talks.

We invite all members of the Coq community to propose informal talks, discussion sessions, or any potential uses of the day allocated to the workshop.

The Call for Proposals in text format

Important Dates

June 10 2019
Deadline for abstract submission (Extended)
July 2 2019
Notification to authors
September 8 2019

Submission Instructions

Authors should submit short proposals through EasyChair.


Extended abstract:

  • PDF
  • less than 2 pages
  • full-page style
  • single-column


Relevant subject matter includes but is not limited to:

  • Theory and implementation of the Calculus of Inductive Constructions
  • Language or tactic features
  • Plugins and libraries for Coq
  • Techniques for formalization programming languages and mathematics
  • Applications and experience in education and industry
  • Tools and platforms built on Coq (including interfaces)
  • Formalization tricks and pearls


Program Committee

Contact (co-chairs)

reynald.affeldt AT, garrigue AT

Previous Coq Workshops