Events

This page lists upcoming meetups, retreats, and conferences that are of interest to OCaml developers.

Add an Event
Upcoming Events (1)
Subscribe by RSS to receive all Events Events RSS
camel head illustration

[Denver]

Conference

CoqPL 2025

Denver, USA

https://popl25.sigplan.org/home/CoqPL-2025
Recurring Events (1)
camel head illustration

[online]

Meetup

Rocq Weekly Call

online, France

https://github.com/coq/coq/wiki/Coq-Calls