Coq Workshop 2010

The Coq Workshop 2010 will be held on July 9 at Edinburgh. The program is out.