The Coq mailing list

[Yves Bertot <Yves.Bertot AT sophia.inria.fr>]

*Please help disseminating this call for paper
*

*The Coq Workshop in 2010 : Coq-2
*

*Call for papers *

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:

   * 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:

http://www.easychair.org/conferences/?conf=coq2

Submitted papers should be in (postscript or) portable document format. 
Papers should not exceed 12 pages in length in single-column full-page 
11pt A4 style.

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*

FLoC 2010 <http://www.floc-conference.org/>, Edinburgh, Scotland

*Important Dates*

   * March 22nd: Deadline for submission of papers
   * May 1st: Acceptance Notification
   * May 31st: Final version of articles
   * July 9th: Workshop in Edinburgh

*Program Committee*

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