Rocq Conferences
We list upcoming Rocq conferences and provide resources from past Rocq conferences, such as slides or video recordings of the talks.
Upcoming Conferences
CoqPL 2025
Submission deadline for talk proposal
Author/Speaker notification
Conference
Denver, USA
CoqPL 2025
Submission deadline for talk proposal
Submission deadline for talk proposal
Submission deadline for talk proposal
Denver, USA