The Coq Workshop series
The Coq Workshop series brings together Coq 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 Coq Workshop focuses on strengthening
the Coq community
and providing a forum for discussing practical issues, including the
future of the Coq software and its associated ecosystem of libraries
and tools.
- 2024, 13th September, Tbilisi, Georgia
- 2023, July 31st, BiaĆystok, Poland
- 2022, August 12th, Haifa, Israel
- 2021, July 2nd,
Rome, Italy online
- 2020, July 5-6th,
Paris, France online
- 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