The Rocqshop series (formerly known as the Coq Workshop series) brings together Rocq users, developers and contributors. Workshops are one-day events held almost every year since 2009, and are generally affiliated with conferences in the ITP series.
While conferences usually provide a venue for traditional research papers, the Rocqshop focuses on strengthening the Rocq community and providing a forum for discussing practical issues, including the future of the Rocq software and its associated ecosystem of libraries and tools.
Editions
- 2025, September 27th, Reykjavik, Iceland
- 2024, September 13th, Tbilisi, Georgia
- 2023, July 31st, Białystok, Poland
- 2022, August 12th, Haifa, Israel
- 2021, July 2nd,
Rome, Italyonline - 2020, July 5-6th,
Paris, Franceonline - 2019, September 8th, Portland, OR, USA
- 2018, July 8th, Oxford, UK
- 2016, August 26th, Nancy, France
- 2015, June 26th, Sophia Antipolis, France
- 2014, July 18th, Vienna, Austria
- 2013, July 22nd, Rennes, France
- 2012, August, Princeton, NJ, USA
- 2011, August 26th, Nijmegen, Netherlands
- 2010, July 9th, Edinburgh, Scotland
- 2009, August 21st, Munich, Germany
Steering committee of Rocq workshops
- Pierre Boutry (University of Strasbourg)
- Ben Delaware (Purdue University)
- Matthieu Sozeau (INRIA Rennes)
- Théo Winterhalter (Inria Saclay) [chair]