The Coq mailing list

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

We are happy to announce the second

     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.

Relevant information are at the following address:

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

In addition to the usual travel and accommodation infos the page
lists a few ideas waiting for an implementation and a tentative schedule.

Cheers,
-- 
Enrico Tassi