This page lists upcoming meetups, retreats, and conferences that are of interest to OCaml developers.
Add an Event
[online]
Rocq Weekly Call
online, France
https://github.com/coq/coq/wiki/Coq-Calls
