Accueil

webTV

Lecture

Conférence éthique et intelligence artificielle : Elise Berlinski

Lecture

Certificat exécutif : digital native, 3 questions à...

Lecture

Carlos Adrian Correa Florez, MINES ParisTech PhD, PERSEE center

Lecture

Certificat exécutif : digital native, 3 questions à...

Lecture

Lancement de la Chaire industrielle ANR TOPAZE

+ TOUS

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 ParisTech

Actualité de la délégation de Fontainebleau - MINES ParisTech
Partager

actualité

Le Rapport d'activité 2020 est en ligne

Formation Le Rapport d'activité 2020 est en ligne Image de couverture du RA 2020, inspirée par des recherches du…
> En savoir +

Une santé de fer !<br>
Minéraux et santé, de l'Antiquité à nos jours

Formation Une santé de fer ! Minéraux et santé, de l'Antiquité à… Oeuvre originale d'Alice Besson-Léaud et Constance de…
> En savoir +

Pourquoi éclipser le solaire ?

Formation Pourquoi éclipser le solaire ? Philippe Blanc : « rétablir certaines vérités sur le…
> En savoir +

DigiTraining lance un appel aux musées européens

International DigiTraining lance un appel aux musées européens DigiTraining veut mettre les nouvelles technologies au…
> En savoir +

EcorcAir et les platanes du Quartier latin

Formation EcorcAir et les platanes du Quartier latin Prélèvement d'écorces de platane par Christine Franke, pilote du…
> En savoir +

Rentrée 2021 du MS MSIT (Mines - Dauphine)

Formation Rentrée 2021 du MS MSIT (Mines - Dauphine) 2o ans d'expérience et un nouveau départ pour le MS…
> En savoir +

+ Toutes les actualités

agenda

Le 30 septembre 2021 Scénarios d'une France « renouvelable »

Le 23 septembre 2021 Poésie des pierres

Du 15 septembre au 14 octobre 2021 Festival Musique aux Mines

Du 20 juillet 2021 au 3 janvier 2022 Rentrée 2021 - 2022

+ Tous les événements

Plan du site
Contacts Mentions légales efil.fr © 2014 MINES ParisTech