The Coq mailing list

[Adam Chlipala <adamc AT csail.mit.edu>]

The deadline to propose talks for the workshop is this Friday.  I 
encourage everyone doing cool stuff in Coq to come tell us about it! 
Also, I want to emphasize that we're open to proposals for 
nontraditional ways to spend the available workshop time, advancing the 
Coq community with presentations, discussion, or otherwise.

=========================================================================================
The Fourth Coq Workshop (2012)
http://coq.inria.fr/coq-workshop/2012
Colocated with the 3rd International Conference on Interactive Theorem 
Proving (ITP 2012)
Princeton, NJ, USA

Call for Proposals
=========================================================================================

The Coq Workshop series brings together Coq users, developers, and 
contributors.  While conferences like ITP provide a venue for 
traditional research papers, the Coq Workshop focuses on strengthening 
the Coq community and providing a forum for discussing practical issues, 
including the future of the Coq software and its associated ecosystem of 
libraries and tools.  Thus, the workshop will be organized around 
informal presentations and discussions, likely supplemented with invited 
talks.

We invite all members of the Coq community to propose informal talks, 
discussion sessions, or any potential uses of the day allocated to the 
workshop.  Relevant subject matter includes but is not limited to:

    * Language or tactic features
    * Theory and implementation of the Calculus of Inductive Constructions
    * Applications and experience in education and industry
    * Tools and platforms built on Coq
    * Plugins and libraries for Coq
    * Interfacing with Coq
    * Formalization tricks and Coq pearls

Authors should submit short proposals through EasyChair.  Submissions 
should be in portable document format (PDF).  Proposals should not 
exceed 2 pages in length in single-column full-page style.

This year, we are open to many ideas on how to use the workshop time. 
Some suggestions to drive proposals include sessions on tool 
demonstrations or lessons learned from teaching Coq.

Venue: ITP, Princeton.
Important Dates:

    * June 1: Deadline for proposal submission
    * June 15: Acceptance notification
    * August 12: Workshop in Princeton

Submission URL:
    https://www.easychair.org/conferences/?conf=coq4

Program committee

    * Yves Bertot, INRIA, France
    * Arthur Chargueraud, MPI-SWS, Germany
    * Adam Chlipala (chair), MIT, USA
    * Chung-Kil Hur, MPI-SWS, Germany
    * Assia Mahboubi, INRIA, France
    * Zhong Shao, Yale, USA
    * Bas Spitters, Nijmegen, Netherlands
    * Jean-Baptiste Tristan, Oracle, USA
    * Vladimir Voevodsky, IAS, USA

Contact: Adam Chlipala 
<adamc AT csail.mit.edu>