Coq Users in PariS

Bonne année à tou.te.s !

On espère que 2019 sera une très bonne année pour vous, et pour bien la commencer, nous sommes heureux d'annoncer le premier Meetup Coq de l'année! Le super programme comporte trois exposés :

• Timothy Bourke [ENS Ulm]: La compilation des schémas-bloc vers CompCert
• Thomas Letan [ANSSI]: FreeSpec: Un framework de raisonnement compositionnel pour Coq
• Matthieu Sozeau [INRIA]: Equations, un compilateur de pattern-matching dépendent

On vous attend le 7 février 2019 à 19:00 à MINES ParisTech, 60 Boulevard Saint-Michel, 75006 Paris, salle V334.

Merci beaucoup à Nomadic Labs (https://www.nomadic-labs.com/) qui sponsorise généreusement la nourriture et la boisson du Meetup, et aux MINES de nous accueillir à nouveau.

Théo et Emilio

English
Happy new year to you all!

We are extremely excited to announce the next Coq Meetup that will take place at Mines ParisTech on Feb. 7th 2019 at 19:00:

• Timothy Bourke [ENS Ulm]: Compiling hierarchical block diagrams into CompCert
• Thomas Letan [ANSSI]: FreeSpec: A Compositional Reasoning Framework for Coq
• Matthieu Sozeau [INRIA]: 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 for their generosity on sponsoring the food and drinks for the Meetup, and to MINES for hosting us again.

Talks will be in English if there is demand. We are really looking forward to see you all the 7th!

Théo and Emilio