The Coq mailing list

[Bas Spitters <spitters AT cs.ru.nl>]

--- The deadline for submission of full papers and extended abstracts
is now Mon May 16th ---

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:

 * Experiments with type-theoretic proof assistants
 * Language or tactics features
 * Theory and implementation of the Calculus of Inductive Constructions
 * Applications and experience in education and industry
 * Tools, platforms built on Coq
 * Plugins, libraries for Coq
 * Interfacing with Coq
 * Formalization tricks and Coq pearls

Authors should submit their paper through EasyChair at the following link:

https://www.easychair.org/account/signin.cgi?conf=coq3

Submitted papers should be in portable document format.
* Papers should not exceed 12 pages in length in single-column
full-page 11pt A4 style.
* Alternatively, (extended) abstracts can be submitted to aid the
selection of presentations.

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 (itp2011.cs.ru.nl)

Important Dates

 * May 16th : Deadline for submission of full papers and the
submission of extended abstracts
 * June 8th: Acceptance Notification
 * July 1st: Final version of articles
 * August 26th: Workshop in Nijmegen

Program Committee:

 * Andrew Appel
 * Yves Bertot
 * Adam Chlipala
 * Georges Gonthier
 * Benjamin Grégoire
 * Hugo Herbelin
 * Micaela Mayero
 * Christine Paulin-Mohring
 * Bas Spitters (Chair)

Contact:
spitters AT cs.ru.nl
http://www.cs.ru.nl/~spitters/coqw.html