The Coq mailing list

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

This year's Coq Workshop (colocated with ITP 2012 in Princeton, NJ, USA 
in August) has accepted 5 talks from the first call for proposals.  More 
info:
    http://coq.inria.fr/coq-workshop/2012

We have some space left in the program, so I thought I'd ask if anyone 
else would like to give an informal talk, or use the time for some sort 
of discussion session or other use appropriate for the 
community-oriented nature of the workshop series.  If you have a 
proposal or idea, please just reply to this e-mail and let me you know 
what you're thinking of.

Thanks, and I hope to see many of you at the workshop!