Nous sommes ravis d'annoncer enfin le premier Meetup Coq à Paris ! Tout le monde est le bienvenu, expérimenté ou pas, amateur ou professionnel, du monde académique, de l'industrie ou d'ailleurs.



Cette rencontre comportera trois exposés répartis sur une heure et demie puis un temps de discussion autour de boissons et de pizzas.

Merci aux Mines de nous accueillir et à Inria de financer la nourriture.



Voici le détail des exposés :



- Maxime Dénès sur le développement de Coq et le Consortium Coq https://coq.inria.fr/consortium

- Jacques-Henri Jourdan sur Iris http://iris-project.org/

- Emilio Jesús Gallego Arias sur jsCoq https://github.com/ejgallego/jscoq



Par ailleurs, notez que nous sommes à la recherche de personnes intéressées pour donner des exposés lors des prochaines sessions de ce Meetup.