coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Maxime Dénès <mail AT maximedenes.fr>
- To: coq-club AT inria.fr, coqdev AT inria.fr, coq-coding-sprint AT inria.fr
- Subject: [Coq-Club] [ANNOUNCE] Coq Implementors Workshop (May 30 - June 3, 2016)
- Date: Tue, 2 Feb 2016 18:14:06 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mail AT maximedenes.fr; spf=Pass smtp.mailfrom=mail AT maximedenes.fr; spf=None smtp.helo=postmaster AT 9.mo4.mail-out.ovh.net
- Ironport-phdr: 9a23:HFRXxBVfhVCJQEMzxrroevYj+EfV8LGtZVwlr6E/grcLSJyIuqrYZhyHt8tkgFKBZ4jH8fUM07OQ6PC/HzVbqsfa+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8KVOl4D1WH1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GLdfFXEtN30/zMztrxjKCwWVojMXVXwanwRgAg7f7Ri8UI21+iD9r6923yWbO8KzVqguWDK+x6ZtUh7hzikdZBAj92SCr8VgjadW6D4goZxki9rRaYCRHP93bqLYcN8XQ2daGMhLAX8SSrigZpcCWrJSdd1TqJPw8gMD
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
- [Coq-Club] [ANNOUNCE] Coq Implementors Workshop (May 30 - June 3, 2016), Maxime Dénès, 02/02/2016
Archive powered by MHonArc 2.6.18.