The Coq Workshop 2024

Affiliated with ITP 2024

Tbilisi, Georgia

13th September, 2024

(Past editions)

The Coq Workshop 2024 is the 15th instalment 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 organised around informal presentations and discussions.

Important dates

29 May, 2024 (AoE)

Submission deadline

3 July, 2024

Author notification



Submission instructions

Submissions should take the form of a two-page PDF (excluding bibliography) and must be performed on Easychair.

You have the freedom to produce the PDF by whatever means but keep in mind that it should remain legible for the people of the PC and for attendees of the conference so please avoid two pages of text with absolutely no margin.

We use a single-blind review process, meaning that reviewers have access to the identity and affiliations of the authors. As such, the submitted PDF should include name and affiliations in addition to the title and abstract.

Submit to Coq Workshop 2024

Organisers and contact

Clément Pit-Claudel Théo Winterhalter

Program committee