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

[Emilio Jesús Gallego Arias]

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

[Théo Zimmermann]

Dear Coq users in the Paris area,

The first Coq Meetup in Paris will take place at MINES ParisTech on July
4th, 19.00-21.00.
See https://www.meetup.com/fr-FR/Coq-Users-in-PariS/events/251951527/ for
more details.

Cheers,
Théo Zimmermann

Post by Emilio Jesús Gallego Arias
Dear Coq users near the Paris area,
after some discussion at the Coq Working groups, we have created a
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