coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Emilio Jesús Gallego Arias <e AT x80.org>
To: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] [Announce] [Meetup] Coq Users in PariS
Date: Tue, 22 Jan 2019 17:31:29 +0100
Authentication-results: mail2-smtp-roc.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:BOyFcRDClDfyzwFiyFZyUyQJP3N1i/DPJgcQr6AfoPdwSPT6ocbcNUDSrc9gkEXOFd2Cra4c26yO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUhzexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iScHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsZfWTJcDIO7YYsBAegOM+VWoIbyu1QAogCzBRW1BO711jNEmmX70K883u88EQ/GxgsgH9cWvXrbqdX1NaMSUeGyzKbQyTvMcehWwS3m6IfQcx4uu/WMXbZufsrezkkgDx/Ijk+RqYP/JDOey+MAvHaA4utvVu+jl3QrqwZrojig38ohjJTCiIwSylDB7yp5wYA1KMW+SE58ZN6rCoZftyCGOIdvRsMtWXpnuD0gxrIavp67eTAGyJE5yBHBd/yHbpCI7gj/W+aWJDd1gm9udrGnhxuq7EStye7xWtOq3FpUrydJiMTAu3IQ2xDJ98SKROVx8l+81TuB1A3f8P9ILE4pmabBNpIt3KA8moAdvEnCGCL9hV/4g7WMdko+/+il8+Tnbavipp+bL4J1hQLzPrg0lsy4G+Q4PRACX2md+euiyL3u5VD1TbZJg/EsjKXVrpHXKd4GqqO7HgNZyJsv5hihAzu+1dQXh3gHLFZLeBKdiIjpPknDL+7jAPawgFmgjC1nx/fcPr3uGpnNNGTMkK/9fbZh7E5R0BY8zddG555NFr4BJO/zVVTqudzDDh45NhS0zPz9BNV80IMeQ2OPDbWDPKPcq1/brt4odsKLfcc+vCv3Y6wu4Oerhnskk3cce7Oo1N0ZcibrMO5hJhC0ZHvog9A2M2oRLBEJY+XujFCNVgl6fXe7ROpo6xkrWNrgCp3MENP+yIed1Tu2S8UFLltNDUqBRDKxL93dCqU8LRmKK8okqQQqEL2oSosvzxar5V3qm+IhKfDbqHRB6cDTkeNt7uiWrikcsCRuBpXPwzHVCWZukTFQHmJk7OVEuUV4j2y7/+14jvhfRI5Dt6sPVR01Z8fR
Organization: X80 Heavy Industries

I forgot to send the link to our meetup page, sorry for the noise:

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

Emilio

Emilio Jesús Gallego Arias
<e AT x80.org>
writes:

> Dear Coq Users in the Paris area,
>
> Happy new year to you all!
>
> We are extremely excited to announce the next Coq Users in PariS
> (CUPS) Meetup that will take place at Mines ParisTech (60 Boulevard
> St. Michel, Paris) on Feb. 7th 2019 at 19:00.
>
> We are very lucky to have the following talks:
>
> - Timothy Bourke [INRIA/ENS Ulm]: Compiling hierarchical block diagrams
> into CompCert
> - Thomas Letan [ANSSI]: FreeSpec: A Compositional Reasoning Framework for
> Coq
> - Matthieu Sozeau [INRIA/IRIF]: Equations, a compiler for dependent pattern
> matching.
>
> We expect that the majority of the Coq development team will be around.
>
> We'd like to thank Nomadic Labs (https://www.nomadic-labs.com/) for
> their generosity on sponsoring the food and drinks for the Meetup, and
> to MINES for hosting us again.
>
> See you soon,
> Théo and Emilio

[Coq-Club] [Announce] [Meetup] Coq Users in PariS, Emilio Jesús Gallego Arias, 01/22/2019
- Re: [Coq-Club] [Announce] [Meetup] Coq Users in PariS, Emilio Jesús Gallego Arias, 01/22/2019