The Third Coq Workshop will be held in Nijmegen, the Netherlands, on Friday August 26th, 2011, as part of ITP 2011.


The series of Coq workshops (1, 2) aims at gathering developers and practitioners of the Coq system. We invite papers on the following topics:

Call for papers

A preliminary program and a list of accepted presentations is now available.

Program committee

There were approximately 40 participants.