Soutenance de thèse de Simon BOULIER (équipe Gallinette)
29 novembre 2018 @ 14 h 00 min - 16 h 30 min
Simon Boulier, doctorant au sein de l’équipe Gallinette, soutiendra sa thèse intitulée « extending type Theory with Syntactic Models »
jeudi 29 novembre 2018 à 14h00, dans l’amphi Blaise Pascale, à l’IMT Atlantique.
Jury : Nicolas Tabareau (dir thèse), Thierry Coquand (Université de Gothenburg, rapporteur), Hugo Herbelin (laboratoire IRIF PPS, rapporteur), Assia Mahboubi, Ambrus Kaposi Eötvös Lorand University Hongrie), Pierre Cointe
