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