https://rocq-prover.org/events.xml2026-08-10T00:00:00-00:00PLS Summer School 2026 takes place in Aarhus, Denmark starting Aug 10, 2026.pls-summer-school-2026%202026-08-10t00:00:00Z2026-08-10T00:00:00-00:00Rocq EventsCIMPA School on Machine-Checked Mathematics: an introduction to formally verified mathematics takes place in Oaxaca de Juárez, Mexico starting Jul 20, 2026.cimpa-school-on-machine-checked-mathematics-an-introduction-to-formally-verified-mathematics%202026-07-20t00:00:00Z2026-07-20T00:00:00-00:00Rocq EventsOregon Programming Languages Summer School 2026 takes place in Eugene, Oregon, USA starting Jul 4, 2026.oregon-programming-languages-summer-school-2026%202026-07-04t00:00:00Z2026-07-04T00:00:00-00:00Rocq EventsRocq'n'share 2026 takes place in Lausanne, Switzerland starting Jun 29, 2026.rocqnshare-2026%202026-06-29t00:00:00Z2026-06-29T00:00:00-00:00Rocq EventsRocqPL 2026 takes place in Rennes, France starting Jan 17, 2026.rocqpl-2026%202026-01-17t00:00:00Z2026-01-17T00:00:00-00:00Rocq EventsRocq'n'share 2025 takes place in Paris, France starting Jun 24, 2025.rocqnshare-2025%202025-06-24t00:00:00Z2025-06-24T00:00:00-00:00Rocq EventsIris Workshop 2025 takes place in Paris, France starting Jun 2, 2025.iris-workshop-2025%202025-06-02t00:00:00Z2025-06-02T00:00:00-00:00Rocq EventsCoqPL 2025 takes place in Denver, USA starting Jan 25, 2025.coqpl-2025%202025-01-25t00:00:00Z2025-01-25T00:00:00-00:00Rocq EventsRocq Weekly Call takes place in Paris, France starting Feb 29, 2024.rocq-weekly-call%202024-02-29t18:00:00Z2024-02-29T18:00:00-00:00Rocq Events