This page lists upcoming meetups, retreats, and conferences that are of interest to Rocq users.
Add an Event
[Lausanne]
Rocq'n'share 2026
Lausanne, Switzerland
https://proofs.swiss/rocq-n-share/2026/
[online]
Rocq Weekly Call
online, France
https://github.com/rocq-prover/rocq/wiki/Rocq-Calls
