Events

This page lists upcoming meetups, retreats, and conferences that are of interest to Rocq users.

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

[Lausanne]

Hackathon

Rocq'n'share 2026

Lausanne, Switzerland

https://proofs.swiss/rocq-n-share/2026/
camel head illustration

[Eugene, Oregon]

Summer School

Oregon Programming Languages Summer School 2026

Eugene, Oregon, USA

https://www.cs.uoregon.edu/research/summerschool/summer26/
camel head illustration

[Oaxaca de Juárez]

Summer School

CIMPA School on Machine-Checked Mathematics: an introduction to formally verified mathematics

Oaxaca de Juárez, Mexico

to

https://fresco.gitlabpages.inria.fr/frescocimpa26.html
camel head illustration

[Aarhus]

Summer School

PLS Summer School 2026

Aarhus, Denmark

https://conferences.au.dk/pls
Recurring Events (1)
camel head illustration

[online]

Meetup

Rocq Weekly Call

online, France

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