coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] [ANN] Coq Users in PariS Meetup
Date: Wed, 20 Jun 2018 17:33:14 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua0-f170.google.com
Ironport-phdr: 9a23:prp3gxeOiioRur716t2wkxQrlGMj4u6mDksu8pMizoh2WeGdxcu+Yh7h7PlgxGXEQZ/co6odzbaO7ua4ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTahYb5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hycdLzM2/2/Xhc5wgqxVoxyvugJxzJLPbY6PKPZzZLnQcc8GSWdDWMtaSixPApm7b4sKF+cPI+ZYqJP6p1QWrhS+BAysBObxxT9Sg3/5x6s60+I8GgzBwAwgH8wBsHPOoNT0NacSVOW1zKjTwDXMavNZwzb96IzSfh89pvGMWKt9fMzMwkchEAPFi0+fqY3jPz6N0+QCrXaU7/Z9VeK3kWIotwZxoj2py8wxiYfJnpoYxk7Y+Sh92oo4Jt21RFRlbdK5EpZcrTyWOolqTs4kXmpmojw1yqcctp6+ZCUKyIooxxrYa/GfdoiH+BPjVOKILTdlnn1pZKuzhxiv/UWi1uHwTMa00FFNripKltnDqGoB2ADU6siCUvd9/0Gh1iiT1w3L9O1IPUQ5mbDYJpMh2LI8iIcfvEbZEiPrmkj6kLeadkA+9eip7+TnbK/mppiZN4JslgH+MrohmsulDeU5MwgOWm2b+eWn2b3s+E32WrRKjvksnqbFt5DaINwXprSlDA9NzoYj9xG/Ai+639QfhHkLNU5KeBaaj4fyIFzOO/D5DfKng1u2ijtrxvbGPqfgAprXNHTDnq3hLv5B7BtXzxN2xtRC7bpVDKsAKbT9QBzfrtvdWyM5sguD8efiDdhn04oYXyrbHq+UN+XAsFqN58ogJuCNYMkevzOreKtt3OLnkXJswQxVRqKux5ZCMCnpTMQjGF2QZD/XuvlEFG4LugQkS+mz0Q+NVDdSYzC5WKduv2hnWrLjNp/KQ8WWuJLExD2yR8QEaWVPC1TKGnDtJd3dBqU8LRmKK8okqQQqELisT4h7i0OrvQ7+jqdudq/ao3JA853k09dx6qvYkhRgrTE=

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

Le jeu. 30 nov. 2017 à 03:13, Emilio Jesús Gallego Arias <e AT x80.org> a écrit :

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

Re: [Coq-Club] [ANN] Coq Users in PariS Meetup, Théo Zimmermann, 06/20/2018