The Rocqshop 2025

Affiliated with ITP 2025

Reykjavik, Iceland

27th September, 2025

(Past editions)

The Rocqshop (formerly the Coq Workshop) brings together developers, contributors, and users of the Rocq Prover. The Rocqshop focuses on strengthening the Rocq community and providing a forum for discussing practical issues, including the future of the Rocq Prover and its associated ecosystem of libraries and tools. Thus, rather than serving as a venue for traditional research papers, the Rocqshop is organised around informal presentations and discussions.

Important dates

13 July, 2025 (AoE)

Submission deadline

10 August, 2025

Author notification

Attending

As the workshop is affiliated with ITP, attendees are required to register for the workshop through ITP registration. The workshop (as well as the conference) can be attended either online or in person. Please consult the upcoming ITP registration page for pricing information.

Submission instructions

Submissions should take the form of a two-page PDF (excluding bibliography). A link to the submission platform will be added soon.

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.

Remote presentation is possible!

Submit to the Rocqshop 2025

Organisers and contact

Pierre Boutry Loïc Pujet

Program committee