Accueil

contact

Retrouvez nos coordonnées
sur la page
Informations pratiques

Actualité de la délégation de Fontainebleau

Retrouvez toutes les actualités et faits marquants ...

Recherche

14/02/2019

Deuxième "Coq Users in Paris" meetup

Deuxième Développeurs et utilisateurs du logiciel Coq, lors de la rencontre organisée par MINES ParisTech, le 7 février 2019.

Coq est un assistant de preuve interactif de premier plan, largement utilisé à la fois dans l'industrie et le monde universitaire. le Centre de recherche en informatique (CRI MINES ParisTech), participe au développement de Coq et a organisé les deux premiers meetings "Coq Users in Paris", dans le but de réunir les principaux acteurs académiques et industriels de l'industrie du logiciel vérifié.

Pour cette seconde rencontre (le 7 février 2019), une grande majorité de l’équipe de développement de Coq était présente, y compris les meilleurs spécialistes en mathématiques formalisées et en logiciels, et beaucoup de personnes de divers milieux industriels et gouvernementaux étaient également dans l'auditoire.

Nomadic Labs, une jeune startup française spécialisée dans la technologie Blockchain, a fourni nourriture et boissons après l'événement.

> Pour plus d'informations, contactez Emilio Gallego Arias.

Meetup Coq in Paris - Mines Paris - PSL

Actualité de la délégation de Fontainebleau - Mines Paris - PSL
Partager

actualité

Un docteur CRI à UCL avec la ministre de l'ESR

International Un docteur CRI à UCL avec la ministre de l'ESR Robin Le Conte des Floris, jeune docteur de la thèse…
> En savoir +

Séminaire HPC / thèse à Rabat

Formation Séminaire HPC / thèse à Rabat Claude Tadonki, enseignant-chercheur au CRI, a…
> En savoir +

CloudTech au Maroc

Formation CloudTech au Maroc   Claude Tadonki, enseignant-chercheur au Centre de recherche en informatique…
> En savoir +

Samuel Forest, élu membre de l’Académie des Sciences

Formation Samuel Forest, élu membre de l’Académie des… Samuel Forest lors de sa réception à…
> En savoir +

Les politiques publiques doivent-elles sauver des vies ou des années de vie en plus ?

Formation Les politiques publiques doivent-elles sauver des… Photo de Andre Taissin sur Unsplash François…
> En savoir +

Prix TTI.5 de la controverse environnementale

Formation Prix TTI.5 de la controverse environnementale Le 31 mai, à la Maison de l’Océan à…
> En savoir +

+ Toutes les actualités

Plan du site
Contacts Mentions légales efil.fr © 2014 Mines Paris - PSL