Users and Developers Workshops
- 2025, Inria Paris (Paris) Rocq'n'share 2025
- 2024, Nantes Université (Nantes) Coq Users and Developers Workshop 2024
- 2023, Sophia-Antipolis (Nice) Coq Users and Developers Workshop 2023
- 2022, On-line Coq Hackathon and Working Group, Winter 2022
- 2020, On-line Coq Users and Developers Workshop 2020
- 2019, Sophia-Antipolis (Nice) Coq Users and Developers Workshop 2019
- 2018, Nice Coq Implementors Workshop 2018.
- 2017, Port-aux-rocs, Le Croisic (Nantes) Coq Implementors Workshop 2017.
- 2016, Sophia-Antipolis (Nice) Coq Implementors Workshop 2016.
- 2015, Sophia-Antipolis (Nice) First Coq Coding Sprint.
To the extent possible under law, the contributors of the Rocq wiki have waived all copyright and related or neighboring rights to their contributions.
By contributing to the Rocq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.