coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[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: [Coq-Club] [Announce] [Meetup] Coq Users in PariS
Date: Tue, 22 Jan 2019 15:05:51 +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:NFAFehxfmNifdZbXCy+O+j09IxM/srCxBDY+r6Qd1OIeIJqq85mqBkHD//Il1AaPAd2Lraocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HQbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiScIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CRWRPQNtfWSJCDIyyYIQAE+UPMP1Er4nkvVYCsQeyCBOuCe7p1zRGhmX23ao/0+k5Hg/G2Q0gH9YPsHTTtNr7MLkdUfuv1KnT1TrNbulZ2TP56IfWfRAhpumDUK5qccrQ00YvDB7Og1KOpoH+MDKY1fgBv3Kc7+p6WuKikmgqoBx/rDiow8cjkIjJhoQNx1DC8iV5xZw6KsC5SEFneNKkFIFfuDqBN4dsXswiRGRotSAnwbMFoZ62ZDUGxZckyhLFdfCLbYmF7gj+WOuTPDt0nm9pdbyhixqq7EStxO7xWtOq3FtEsyZJiMTAum4T2xDJ5MWKS/1w9Vq71zmVzQDc8ORELFg0laXFL54hxaY9l5UQvEjfBCP2n1/2jKCOekUl/Oin9fjnb637qpKfNIJ4kB/yProvl8ClHOg1MBUCU3KG9emyyrHv5Uj5T69Ljv0ynKnZqpfaJcEDq6GnGAJU3YUu5wqlAzehytQYkmELLEhZdxKfk4jpJ1bOLejkAve4mlSgiStkx/TbPrL6GZjNNXjCkLL5fbln8UJcyQwzzcpe551OEL0BLujzCQfNs4nzCQZxGAipya6zA9Jkk4gaRGinA6mDMaqUv0Xetcw1JOzZSYoUvDf6HNoo/Gz1ulAwnVsQcq6e9IEWYWvwSvlOMxXBJ332jYFSQi8xogMiQbmy2xW5WjlJaiP3Bvpkv2BpOMedFY7GA7uVrvmE1Sa/EIdRYzEUGgDUV3DyeNfdAqteWGepOsZk1wc8e/25UYZwhwH+7En90bU1drOJqB1djorq0Z1O38OWlRw28m0mH5TFlWaXQDMtkw==

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