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
