Bienvenue aux Mines Paristech
Bienvenue à MINES ParisTech
Newsletter International
Website
Théorie & Pratique
Vous êtes

rechercher
une actualité

Ecole
Entreprise
Formation
International
Recherche
Sciences de la terre et
de l'environnement
Energétique et procédés
Mécanique et matériaux
Mathématiques et systèmes
Economie, management
et société
Partager

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 ParisTech

webTV

Lecture

Séminaire PSL - Écosystèmes de médias I Session 4 Partie 4

Lecture

Séminaire PSL - Écosystèmes de médias I Session 4 Partie 2

Lecture

Séminaire PSL - Écosystèmes de médias I Session 4 Partie 3

Lecture

Séminaire PSL - Écosystèmes de médias I Session 4 Partie 1

Lecture

Lancement de la Chaire DEEP unissant HUTCHINSON, l'ESPCI et MINES ParisTech

+ Toutes les vidéos

actus / Sciences de la terre et l'environnement

Consulter les actus de cette thématique

actus / Énergétique et procédés

Consulter les actus de cette thématique

actus / Mécanique et matériaux

Consulter les actus de cette thématique

actus / Mathématique et systèmes

Consulter les actus de cette thématique

actus / Économie, management et société

Consulter les actus de cette thématique
Plan du site
MINES
ParisTech

60, Boulevard Saint-Michel
75272 PARIS Cedex 06
Tél. : +33 1 40 51 90 00

Implantations
Formation
Mentions légales | efil.fr | ©2012 MINES ParisTech | +33 1 40 51 90 00 |