The Coq Workshop
The Coq Workshop brings together Coq users, developers and contributors. It usually consists of one-day events affiliated with larger conferences. This series of events was started in 2009 and now contains the following workshops:
- 2019, January 19th, Lisbon Portugal
- 2018, July 8th, Oxford, UK
- 2018, January, Los Angeles, CA, USA
- 2017, January 21st, Paris, France
- 2016, August 26th, Nancy, France
- 2015, June 26th, Sophia Antipolis, France
- 2015, January 18th, Mumbai, India (CoqPL, affiliated to POPL)
- 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
The workshop is supported by Inria.
Syndicate