Oct 31 2017

Two new winter schools on Coq

The marelle team will organize an advanced school from December 4th to December 8th, 2017 and an introductory school from January 22nd to January 26th, 2017.