Sites Inria

English version

Cours du Collège de France

Agnès Bessière - 9/11/2018

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, interviendra au Campus Universitaire de Talence dans le cadre des Cours du Collège de France donnés par Gérard Berry.

Il donnera 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".

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !