This event is financially supported by the Swiss Informatics Foundation — Informatik Stiftung Schweiz.
The 10th (and first international!) Rocq users and developers workshop.
–, EPFL, Lausanne
Registration form • Zulip channel
Are you itching to learn more about the internals of your favorite proof assistant? Do you have a feature to advocate for? Do you need help implementing an extension or hacking the kernel? Do you feel ready to step up and fix that bug that's been pestering you for years?
Join us for Rocq'n'Share 2026, held from June 29th to July 3rd on EPFL’s main campus in Lausanne!
Rocq'n'share is a meeting place for developers and power users of The Rocq Prover and of its extensions: tactic languages, metaprogramming languages, libraries, plugins, verification frameworks, compilers, decision procedures…
The week will be organized around short presentations and brainstorming sessions in the mornings, and focused discussion and implementation sessions in the afternoons. Rocq developers will bring good starting projects for beginners, or you can bring your own ideas and work-in-progress implementation to receive expert support!
Registration is free but required. Please fill this form to register, and join the dedicated channel on Rocq's Zulip!
Monday afternoon to Friday morning:
INM building, EPFL, CH-1015 Lausanne.
plan.epfl.ch.
This event is financially supported by the Swiss Informatics Foundation — Informatik Stiftung Schweiz.