Other past events
We list here various past tutorials, schools, and other non-recurring (or now inactive) events around Coq:
- 2023, September 18-20th, Bucharest, Romania, ILDS Coq and Lean Autumn School
- 2022, September 5-9th, Istanbul, Turkey, Real World Coq at Sabanci University
- DeepSpec workshops (colocated with PLDI from 2017 to 2020)
- 2020, January 6-10th, San José del Maipo, Chile, Coq Andes Summer School
- 2018, August 8-12th, Ohrid, North Macedonia, EUTypes Summer School on Types for Programming and Verification
- 2016, August 27th, Nancy, France, Math-Comp tutorial at ITP
- 2016, January 18th, St Petersburg, FA, USA, Coq tutorial at POPL
- 2015, August 27th, Nanjing, China, Coq tutorial at ITP
- 2015, May 25-29th, Fréjus, France, EPIT (TCS Spring School)
- 2013, August 5-10th, Beijing, Asian-Pacific Summer School on Formal Methods
- 2013, July 24th, Rennes, France, Math-Comp tutorial at ITP
- 2012, March 12-16th, Sophia-Antipolis, France, International Spring School on Formalization of Mathematics
- 2011, August 13-21st, Suzhou, China, Asian-Pacific Summer School on Formal Methods
- 2010, June 7-11th, Paris, France, CEA-EDF-INRIA summer school