The Coq mailing list

[Maxime Dénès <mail AT maximedenes.fr>]

We are happy to announce the

     2nd Coq Implementors Workshop.

Would you like to get a few Dans on your Coq black belt? Implement the
killer feature that will make you a true Coq guru? Embark on an
archaeological expedition to solve a forgotten 20-year-old bug? Or
simply learn more about the internals of the system?

Then the Coq Implementors Workshop is for you!

The Coq developers will be there explaining you the internals of
the system, helping you to contribute to it and to jump start your
Coq related project (plugins, IDEs,...).

The event will take place on the French riviera, at Inria
Sophia-Antipolis (near Nice) from May 30th to June 3rd, 2016.

Relevant information will be put at the following address:

  https://coq.inria.fr/cocorico/CoqImplementorsWorkshop/CoqIW2016

For organization purposes we require the participants to register (free
of charge) by subscribing and writing to the coordination mailing list:

  https://sympa.inria.fr/sympa/info/coq-coding-sprint

The mailing list is also the preferred channel to contact the
organizers. Subscription is required in order to post.


Hoping to see you in Sophia-Antipolis!

-- 
Maxime Dénès