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
Note: Some of the websites above are recovered archives and may only work partially. If you notice something wrong, do contact us, and we will see if we can fix it.
Steering committee of Rocq workshops
- Pierre Boutry (University of Strasbourg)
- Ben Delaware (Purdue University)
- Matthieu Sozeau (INRIA Rennes)
- Théo Winterhalter (Inria Saclay) [chair]