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 21 July, 2025 (AoE)
Submission deadline (⚠️ extended)
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)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.
Remote presentation is possible!
Submission page (closed)Program committee
- Aurèle Barrière (EPFL)
- Sylvie Boldo (Inria Saclay)
- Pierre Boutry (University of Strasbourg)
- Hugo Herbelin (Inria Paris)
- Axel Ljungström (Stockholm University)
- Hannah Leung (University of Illinois)
- Jade Philipoom (zeroRISC)
- Swarn Priya (Virginia Tech)
- Loïc Pujet (Stockholm University)
- June Rousseau (Aarhus University)
- Natalia Ślusarz (Heriot-Watt University)
- Nicolas Tabareau (Inria Rennes)
- Quentin Vermande (Inria Sophia)