The first Rocq’n’share meeting (previously known as Coq Users and Developers Workshop) will take place at Inria Paris from Tuesday June 24th to Friday the 27th.
Note, on Monday the 23rd there will be an independently organized workshop in honor of Georges Gonthier at Inria Paris.
Rocq’n’share is a meeting place for developers of The Rocq Prover and of its extensions: tactic languages, metaprogramming languages, libraries, plugins, verification frameworks, compilers, decision procedures…
The goal of the meeting is to disseminate knowledge on the implementation of Rocq and its extension frameworks, discuss design decisions, improve documentations (tutorials, how-tos, …) and hack together on specific projects.
The program will be a mix of scientific/technical talks in the mornings and small group design/programming sessions in the afternoons.
Registration is mandatory, see Rocq'n'share 2025 · rocq-prover/rocq Wiki · GitHub for all details on the registration, program and practical information.