coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] [coqdev] Coq Dev & User meetings + Coq Workshop

From: Enrico Tassi <enrico.tassi AT inria.fr>
To: coqdev AT inria.fr, coq-club AT inria.fr
Subject: Re: [Coq-Club] [coqdev] Coq Dev & User meetings + Coq Workshop
Date: Wed, 17 May 2017 15:28:51 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=enrico.tassi AT inria.fr; spf=None smtp.mailfrom=gares AT fettunta.org; spf=None smtp.helo=postmaster AT fettunta.org
Ironport-phdr: 9a23:uB0bwhUPP3x81JT3+fnd9+eUOrPV8LGtZVwlr6E/grcLSJyIuqrYYxOEt8tkgFKBZ4jH8fUM07OQ6PG8HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W/ZisJ+kr9VrhGvpxNw34HbfYOaO/Rlc6PBYd8XX3ZNUtpLWiBfBI63cosBD/AGPeZdt4TzqF0OrQG/BQawA+Pk1yFGiWXt3a0h0uQqDAbL0xImH9IUsXTbsNL1OL0OUe+v16nI1jTDYuhX2Tf78ojIcwoureuCXbJqaMfcz1QkGQDdjliIrYHoMCmZ2voDvmSB7udtUfijh3M5pwxzujSj28khh4rTio8Ry13I7zt1zJopKdGiSEN2YNipG4ZKuS6ALYt5WMYiTnlouCkkzr0Gvoa2fCYUx5Q72x7fdvqHc5SS7R75U+aROzh4iGpkeLK5mRmy7VCtx+nzW8WuzlpHoDBJn9jIu3wXyhDf9MqKRuN4/ki72DaP0w7T6vtDIUAxjafbJIQuwqQumZoIqknDEDH5mFnqjK+LcEUk5vKn5/7gYrX8qZ+QL5V0hR3mMqQyhsy/Bvw1PRQJX2iC4OizyLnj/VDiT7hRlf03kqzZsIjAKsgBp665BRVV0oc55BqlATemyswSnWMbI1JdZBKHk4/pNknSL/D/FPewnkqjkClwyvDdPrzhB43NIWLZnLfge7Z98U9cxxApwdBR/ZIHQo0Gdfn0Q0P8qvTZCAU4Okq62aKvA9Jkk4gaRGinA6mDMaqUv0XbyPgoJryhYpUUszG1F/E+/P+m2XI/g14Weu+11IAMaVi5GO5nKgOXeyy/0Z86DW4Ws19mH6TRg1qYXGsLag==

On Tue, May 16, 2017 at 09:30:06AM +0000, Matthieu Sozeau wrote:
> Dear all,
>
> the developers meeting inscription are closed now. Due to administrative
> issues, the Coq User meeting + workshop is postponed to a later date, we
> will keep you updated when we have more information available.

Since people are asking me in private, I'll clarify:

> 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

This is confirmed

> 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

This one is postponed

Best,
--
Enrico Tassi

[Coq-Club] Coq Dev & User meetings + Coq Workshop, Matthieu Sozeau, 05/16/2017
- Re: [Coq-Club] [coqdev] Coq Dev & User meetings + Coq Workshop, Enrico Tassi, 05/17/2017