May 22 2015

The Coq Workshop 2015

The 7th Coq Workshop will be held in Sophia Antipolis, France – June 26, 2015.