The Coq mailing list

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

By now, the Coq Workshop series is semi-established, with three annual 
meetings so far:
   http://coq.inria.fr/coq-workshop

We are starting to plan the next edition, to be held at Princeton 
University in August 2012.  I wanted to start the planning process with 
an open call for suggestions on coq-club.

Compared to most research conferences and workshops, the Coq Workshop is 
different in having a charter centered on supporting the Coq user 
community.  "Cute hacks," engineering tricks, and useful tools are in 
scope, or at least that has been my interpretation.  Research results 
are welcome, too, of course!  (Though conferences like ITP (which the 
Coq Workshop will be colocated with) probably provide nicer venues for 
most research papers.)

So, it's a somewhat unusual kind of workshop!  The most recent meetings 
have focused on talks that aren't backed by research papers.  However, 
the sky is the limit; we could choose any format that furthers the goal 
of supporting the Coq software and its user community.

Thus, I'm asking for your ideas.  How could we organize the next Coq 
Workshop to maximize its value?

Thanks!