The Coq mailing list

[Greg Morrisett <greg AT eecs.harvard.edu>]

The Oregon Summer School on Programming Languages will offer
a "bootcamp" on Coq (amongst other topics) this summer:

  https://www.cs.uoregon.edu/research/summerschool/summer14/

There are also great texts, such as "Software Foundations" and
"Certified Programming with Dependent Types" that can teach
you a lot on your own.  

For more detailed technical research, there is the Coq workshop
that will happen as part of ITP this summer (I presume).

Hope this helps,

-Greg

On Feb 11, 2014, at 10:00 AM, Sebastien 
<fricker AT froglogic.com>
 wrote:

> Hi,
> does anybody know if there is COQ workshop planed or are there any training 
> existing for COQ?
> Sébastien