This page lists upcoming meetups, retreats, and conferences that are of interest to Rocq users.
Add an Event
[Aarhus]
PLS Summer School 2026
Aarhus, Denmark
https://conferences.au.dk/pls
[online]
Rocq Weekly Call
online, France
https://github.com/rocq-prover/rocq/wiki/Rocq-Calls
