The Coq mailing list

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

Are you planning to attend the ICFP 2015 conference 
<http://icfpconference.org/icfp2015/>?  If so, and presuming that 
subscription to coq-club implies an interest in the evolution of Coq as 
both a research project and a piece of infrastructure, then please drop 
me a line.  We are organizing an informal discussion at the conference 
about those topics, with some Inria representatives, and I'd like to 
know who might like to join in. Participation from both academia and 
industry is very welcome. Thanks!