coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [ANNOUNCE] Coq Implementors Workshop (May 30 - June 3, 2016) registration deadline: 20 May

From: Maxime Dénès <mail AT maximedenes.fr>
To: coq-club AT inria.fr, "coqdev 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) registration deadline: 20 May
Date: Mon, 2 May 2016 11:54:51 +0200
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 16.mo3.mail-out.ovh.net
Ironport-phdr: 9a23:65w2exzAt+ufwNPXCy+O+j09IxM/srCxBDY+r6Qd0OoWIJqq85mqBkHD//Il1AaPBtWLraMdwLCP+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt6U3p38jbn60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVHSODxe7kyZb1eFjUvdW4voIWhvh7aQQaRznoaSGQf1BRSSUCR5xbjUprvmir8rOt0nieAa4m+RrctHD+l46ZtR1rzkD0GMSIR8WfNi8U2grgIjgimoklayp7VZYzdGHt4/riVKdYTRG5pW89BVilMDo66YpBJAfBXbrUQlJX0u1Zb9Uj2PgKrHu66kjI=

This is the last call for participation for the

2nd Coq Implementors Workshop.

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 tentative program is now online:

https://coq.inria.fr/cocorico/CoqImplementorsWorkshop/CoqIW2016

with many invited talks by Coq gurus:

- Pierre Letouzey on Code extraction
- Pierre-Marie Pédrot on Ltac internals
- Hugo Herbelin on Notations
- Enrico Tassi on Parallelism
- Matthieu Sozeau on Universes

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.

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 and Enrico Tassi

[Coq-Club] [ANNOUNCE] Coq Implementors Workshop (May 30 - June 3, 2016) registration deadline: 20 May, Maxime Dénès, 05/02/2016