The Coq mailing list

[Beta Ziliani <bziliani AT famaf.unc.edu.ar>]

Hi Adam,

I'd like to participate.

Best,
Beta

Written from mobile. Excuse my limited communication.

On Aug 10, 2015 6:14 AM, "Adam Chlipala" <adamc AT csail.mit.edu> wrote:

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!