https://rocq-prover.org/planet.xml2026-06-22T00:00:00-00:00<br><ul><li><a href="https://proofs.swiss/rocq-n-share/2026/">Rocq'n'share 2026 // Lausanne, Switzerland // Jun 29, 2026</a></li> <li><a href="https://www.cs.uoregon.edu/research/summerschool/summer26/">Oregon Programming Languages Summer School 2026 // Eugene, Oregon, USA // Jul 4, 2026</a></li> <li><a href="https://fresco.gitlabpages.inria.fr/frescocimpa26.html">CIMPA School on Machine-Checked Mathematics: an introduction to formally verified mathematics // Oaxaca de Juárez, Mexico // Jul 20, 2026</a></li> <li><a href="https://conferences.au.dk/pls">PLS Summer School 2026 // Aarhus, Denmark // Aug 10, 2026</a></li> </ul>https://rocq-prover.org/events#Jun-22-20262026-06-22T00:00:00-00:00Rocq Events