The Coq mailing list

[Pierre Courtieu <pierre.courtieu AT gmail.com>]

Bonjour Enrico, je vais essayer de venir au coding sprint. Avec l'idée
de 1) comprendre le mode d'interaction stm+protocol pseudo xml. 2) le
documenter 3) repartir avec une idée claire de quoi faire (ou ne pas
faire) avec proofgeneral.

J'epsère que tu auras un peu de temps à me consacrer! :)

Amicalement,
Pierre

2015-04-09 15:06 GMT+02:00 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