The Coq Workshop 2022

Affiliated with ITP 2022, part of FLoC 2022
Location: Haifa, Israel

The Coq Workshop 2022 is the 13th installment of the Coq Workshop series. The workshop brings together developers, contributors, and users 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.

Important dates

May 10, 2022 (AoE)
Deadline for submission of presentation proposals
June 10, 2022
Notification to authors
August 12, 2022
Workshop (preliminary date)

Submission instructions

Authors should submit presentation proposals as extended abstracts through EasyChair.

Relevant subject matter includes but is not limited to:

Submission format

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

Program committee

Organizers and contact

Karl Palmskog and Talia Ringer (

Past editions

See here.