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
15 May, 2026 (AoE)
Submission deadline
Attending
As the workshop is affiliated with ITP, which is part of FLoC, attendees are required to register for the workshop through FLoC registration. The workshop (as well as the conference) can be attended either online or in person. Please consult the upcoming FLoC registration page for pricing information.
Submission instructions
Submissions should take the form of a two-page PDF (excluding bibliography) and must be performed on HotCRP.
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 pageProgram committee
- Nicolas Chappe (University of Cambridge)
- Alessio Coltelacci (IT-University of Copenhagen)
- Stefania Damato (Eötvös Loránd University)
- Emily First (Rutgers University)
- Eleftherios Ioannidis (Microsoft Research)
- Meven Lennon-Bertrand (Inria Paris)
- Elaine Li (New York University)
- Zoe Paraskevopoulou (National Technical University of Athens)
- Loïc Pujet (Strasbourg University)
- Benjamin Quiring (University of Maryland)
- Kazuhiko Sakaguchi (ENS de Lyon)
- Jessica Shi (University of Pennsylvania)
- Kathrin Stark (Heriot-Watt University)