# First Rocq'n'share meeting

**URL:** <https://discourse.rocq-prover.org/t/first-rocqnshare-meeting/2653>\
**Category:** Announcements\
**Created:** [April 25, 2025, 3:06pm UTC](https://discourse.rocq-prover.org/t/first-rocqnshare-meeting/2653 "2025-04-25T15:06:24Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![mattam82](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/mattam82/32/11_2.png) [@mattam82](https://discourse.rocq-prover.org/u/mattam82)\
**Post date:** [April 25, 2025, 3:06pm UTC](https://discourse.rocq-prover.org/t/first-rocqnshare-meeting/2653/1 "2025-04-25T15:06:24Z")

</div>

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](https://mathcomp-schools.gitlabpages.inria.fr/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](https://github.com/rocq-prover/rocq/wiki/Rocq'n'share-2025) for all details on the registration, program and practical information.