The Coq Workshop 2021

Affiliated with Interactive Theorem Proving 2021
Location: online

The Coq Workshop 2021 is the 12th iteration of the Coq Workshop series. The workshop brings together users, contributors, and developers of the Coq proof assistant. 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, rather than serving as a venue for traditional research papers, the workshop is organized around informal presentations and discussions, supplemented with invited talks.

COVID-19 notice

Due to the ongoing COVID-19 pandemic and the transition of ITP, the conference to which the workshop is affiliated, to an online event, the Coq Workshop 2021 will also be held as an online event.


Invited talk: Vincent Laporte (TBA)

Important dates

May 3rd, 2021 (AoE)
Deadline submission of talk proposal
May 31st, 2021
Notification to authors
July 2nd, 2021

Due to the volatility of the situation, all dates are tentative for now.

Submission instructions

Authors should submit extended abstracts through EasyChair.

Relevant subject matter includes but is not limited to:

Submission Format

Talk proposals should be no more than 2 pages in length including bibliographic references using the EasyChair style with the fullpage package. All submissions must be in PDF format.

Program Committee

Organization Contact

Christian Dozkal and Jean-Marie Madiot (

Past editions

See here.