The Coq mailing list

[Vadim Zaliva <vzaliva AT cmu.edu>]

My apologies for replying to the list. 

Vadim


> On Aug 11, 2015, at 14:38 , Vadim Zaliva 
> <vzaliva AT cmu.edu>
>  wrote:
> 
> Adam,
> 
> I will be at ICFP and interested in Coq evolution.
> 
> Vadim
> 
>> On Aug 9, 2015, at 11:08 , 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!
> 
> Sincerely,
> Vadim Zaliva
> 
> --
> CMU ECE PhD candidate
> Mobile: +1(510)220-1060
> Skype: vzaliva
> 

Sincerely,
Vadim Zaliva

--
CMU ECE PhD candidate
Mobile: +1(510)220-1060
Skype: vzaliva