The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

We are happy to announce the

     call for participation in the first Coq Coding Sprint.

Do you have an idea for a Coq plugin?  Do you want to improve this
or that in Coq?  Do you want to know more about the internals of the
system?  Do you want to contribute to the system?  Are you looking for
the right opportunity?

Then the Coq Coding Sprint is what you are looking for!

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.

The event will take place in the Inria center of Sophia-Antipolis
(Nice) from the 22nd to the 25th of June 2015, and will be co-located
with the 7th Coq workshop, taking place on the 26th of June.
A proper call for the 7th Coq Workshop will follow shortly.

Relevant information will be put at the following address:

  https://coq.inria.fr/cocorico/CoqCodingSprint/CoqCS1

Attenders are encouraged to come with a draft plan, and to write a few
lines about it in the registration email.

Cheers,
-- 
Enrico Tassi