Coq Winter School 2014 – Given by Yves Bertot

Coq Winter School 2015 – Given by Yves Bertot & Enrico Tassi

Advanced Coq Winter School 2016 – Given by Cohen, Rideau, Tassi and Thery

Coq Winter School 2016 – Given by Yves Bertot

Advanced Coq Winter School 2016-2017 – Given by Bertot, Cohen, Rideau, Tassi, and Théry

Coq Winter School 2017 – Given by Yves Bertot

Advanced Coq Winter School 2017-2018 – Given by Bertot, Cohen, Rideau, Tassi, and Théry

Coq Winter School 2018 – Given by Yves Bertot

Coq Winter School 2018 – 2019 – Given by Bertot, Cohen, Rideau, Tassi, and Théry

Coq introductory course for the 2019 EUTYPES summer school – Given by Yves Bertot

Proofs and reliable programming using Coq 2019 – Given by Yves Bertot