Events

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

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

[Paris]

Conference

Iris Workshop 2025

Paris, France

https://iris-project.org/workshop-2025/
camel head illustration

[Paris]

Hackathon

Rocq'n'share 2025

Paris, France

https://github.com/rocq-prover/rocq/wiki/Rocq'n'share-2025
Recurring Events (1)
camel head illustration

[online]

Meetup

Rocq Weekly Call

online, France

https://github.com/rocq-prover/rocq/wiki/Rocq-Calls