coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [ANN] Coq Users in PariS Meetup

From: e AT x80.org (Emilio Jesús Gallego Arias)
To: coq-club AT inria.fr
Subject: [Coq-Club] [ANN] Coq Users in PariS Meetup
Date: Thu, 30 Nov 2017 03:12:41 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
Ironport-phdr: 9a23:66wKPxNDTYjDrK80bT4l6mtUPXoX/o7sNwtQ0KIMzox0K/nyrarrMEGX3/hxlliBBdydsK0UzbeO+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6a8TWO6msZHQy6Pg5oLMz0HJTThoK5zbOc4ZrWNghglGrlJ7RoI132gADQssgRyalvMTQqgjTApn9FdOMe7HlpLEnSzEW03du54JM2q3cYgPkm7cMVCag=
Organization: X80 Heavy Industries

Dear Coq users near the Paris area,

after some discussion at the Coq Working groups, we have created a
"Coq Users in PariS" meetup, available at:

https://www.meetup.com/Coq-Users-in-PariS/

The main goal of the meetup is to create a meeting point for all Coq
users regardless of their origin and experience.

People from academia, industry, hobbyists, students, or just curious
about what Coq is are extremely welcome.

We will try to hold the first meetup during the first trimester
of 2018. We are looking forward to see you there!

Best regards,
Emilio J. Gallego Arias

[Coq-Club] [ANN] Coq Users in PariS Meetup, Emilio Jesús Gallego Arias, 11/30/2017