The Coq Workshop 2011

Call for papers / abstracts

The Coq workshop will bring together Coq users, developers and contributors. The workshop will be organized from submitted papers, invited talks and a plenary discussion on the evolution and design of Coq. Topics for submitting a paper include:

Authors should submit their paper through EasyChair. Submitted papers should be in portable document format.

If there is sufficient demand, we will try to organize a time slot for demonstrations. Similarly, we may also organize a session on the lessons learned from teaching Coq. If you are interested, please send a brief proposal.

Venue: ITP, Nijmegen.

Important Dates:

Program committee

Contact: Bas Spitters
To the workshop homepage.