coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Matthieu Sozeau <matthieu.sozeau AT inria.fr>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>, "coqdev AT inria.fr" <coqdev AT inria.fr>
- Subject: [Coq-Club] Save the Dates: Coq Dev & User meetings + Coq Workshop
- Date: Fri, 03 Feb 2017 16:38:29 +0000
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=matthieu.sozeau AT inria.fr; spf=Pass smtp.mailfrom=matthieu.sozeau AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk0-f179.google.com
- Ironport-phdr: 9a23:7s1SSBDNIraWeg2Z2QNvUyQJP3N1i/DPJgcQr6AfoPdwSP74oMbcNUDSrc9gkEXOFd2CrakV16yJ6uuwCSRAuc/H6y9SNsQUFlcssoY/oU8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0IufrymUt2as8Pineu14tjYZxhCrDu7e7J7ahus502Fvc4PxIBmN6wZyx3To3IOdf4AgSsiLlWKkxvizsa25p9qtSpK8bp1/MlZXajkV6U+V71RSjo8ZTMb/sru4DzKUReP53YBGl4RgBdBHkCR6RjmQpfwvza8re1v1SCHFczwV7E9Hzq4ufQ4ACT0gTsKYmZquFrcjdZ92fpW
Dear all,
we will be organizing two meetings around Coq this year, the first one dedicated to developers for discussion and development of new features, and presentation of the internals of the system and the second one dedicated to users and centred around libraries & tools with tutorials and hands-on sessions on e.g. Iris, MetaCoq, Mathematical Components, ..., and collocated with the Coq Workshop. Details will be provided on both events as soon as possible. To help us organise, we kindly ask you to fill the following (anonymized) doodle if you intend to participate:
The dates are:
June 12th-16th -- Developer meeting on the Atlantic coast near Nantes.
FYI this is the week before PLDI in Barcelona and LICS in Reykjavik, and after the HoTT workshop in Snowbird, Utah
August 28th - September 1st -- User meeting & Coq Workshop (sept 1st) in Fontainebleau near Paris
FYI this is the week before ICFP in Oxford the week after
Best regards,
-- Matthieu Sozeau
- [Coq-Club] Save the Dates: Coq Dev & User meetings + Coq Workshop, Matthieu Sozeau, 02/03/2017
Archive powered by MHonArc 2.6.18.