Soutenance de thèse de Gaëtan GILBERT (équipe Gallinette)
IMT Atlantique 4 Rue Alfred Kastler, NantesGaëtan Gilbert, doctorant au sein de l'équipe Gallinette, soutiendra sa thèse intitulée "Une théorie des types avec insignifiance des preuves définitionnelle" / "A type theory with definitional proof-irrelevance" vendredi 20 décembre 2019 à 10h, dans l'amphi Besse de l'IMT-A. Jury : Directeur thèse : TABAREAU Nicolas Co encadrant : SOZEAU Matthieu (CR Inria) Rapporteurs : ABEL Andreas (Chalmers Techniska Hogskola AB), SPITTERS Bas (Aarhus University) Autres membres : MAHBOUBI Assia,…
