From : Enrico Tassi <enrico.tassi AT inria.fr>

: Enrico Tassi <enrico.tassi AT inria.fr> To : coq-club AT inria.fr

: coq-club AT inria.fr Subject : [Coq-Club] [ANNOUNCE] Coq Coding Sprint (June 22-25 2015)

: [Coq-Club] [ANNOUNCE] Coq Coding Sprint (June 22-25 2015) Date: Thu, 13 Nov 2014 14:07:04 +0100

[Coq-Club] [ANNOUNCE] Coq Coding Sprint (June 22-25 2015), Enrico Tassi, 11/13/2014

We are happy to announce thecall for participation in the first Coq Coding Sprint.Do you have an idea for a Coq plugin? Do you want to improve thisor that in Coq? Do you want to know more about the internals of thesystem? Do you want to contribute to the system? Are you looking forthe right opportunity?Then the Coq Coding Sprint is what you are looking for!The Coq developers will be there explaining you the internals ofthe system, helping you to contribute to it and to jump start yourCoq 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-locatedwith 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:Attenders are encouraged to come with a draft plan, and to write a fewlines about it in the registration email.Cheers,--Enrico Tassi