Sites Inria

English version

Cours du Collège de France

Agnès Bessière - 29/01/2019

Coq : aspects pratiques de la théorie des types

Yves Bertot, responsable de l'équipe Marelle, du centre de recherche Inria Sophia Antipolis - Méditerranée, est intervenu au campus universitaire de Talence dans le cadre des cours du Collège de France donnés par Gérard Berry.

Il a donné un séminaire, accompagné par Pierre Castéran, du LaBRI le 13 décembre 2018 sur le logiciel Coq, primé par un "ACM Software System Award" .

Coq : aspects pratiques de la théorie des types

Yves Bertot - responsable de l'équipe-projet Marelle, Inria Sophia Antipolis - Méditerranée


Haut de page

Suivez Inria