Coq Workshop 2011

The Coq Workshop 201! will be held on August 26 at Nijmegen, as part of ITP 2011.