• Meeting on "Coq communication", Monday, the 23th of March