The CoqPL Workshop
The CoqPL Workshop brings together Coq users, developers and contributors. It is a one-day event, held every year since 2015, at POPL.
- 2020, January 25th, New Orleans, Louisiana, USA
- 2019, January 19th, Lisbon Portugal
- 2018, January 13th, Los Angeles, CA, USA
- 2017, January 21st, Paris, France
- 2016, January 23rd, St. Petersburg, FA, USA
- 2015, January 18th, Mumbai, India
The workshop is supported by Inria.