Soutenance de thèse de Théo WINTERHALTER (équipe Gallinette)
UFR Sciences 2 rue de la Houssinière, NantesThéo Winterhalter, doctorant au sein de l'équipe Gallinette, soutiendra sa thèse intitulée "Formalisation et Méta-Théorie de la Théorie des Types" / "Formalisation and Meta-Theory of Type Theory" vendredi 18 septembre 2020 à 14h. Jury : - Directeur thèse : Nicolas Tabareau - Co-encadrant : Mathieu Sozeau - Rapporteurs : Andrej Bauer (U Ljubljana), Herman Geuvers (Raboud University, Nijmegen) - Autres membres : Assia Mahboubi, Bas Spitters (Aarhus University), Andreas Abel…