Date: 18-22 January 2016
Teachers: Cyril Cohen, Laurence Rideau, and Laurent Théry
Local contact: Enrico Tassi
https://team.inria.fr/marelle/en/advanced-coq-winter-school-2016/
Date: 18-22 January 2016
Teachers: Cyril Cohen, Laurence Rideau, and Laurent Théry
Local contact: Enrico Tassi
https://team.inria.fr/marelle/en/advanced-coq-winter-school-2016/