Home » Évènement
Chargement Évènements

Évènements le 18 septembre 2020

Recherche et navigation de vues Évènements

Navigation de vues Évènement

14 h 00 min

Soutenance de thèse de Théo WINTERHALTER (équipe Gallinette)

18 septembre @ 14 h 00 min - 16 h 30 min
UFR Sciences, 2 rue de la Houssinière
Nantes, 44300 France
+ Google Map

Thé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

Voir les détails »
+ Exporter les évènements
Copyright : LS2N 2017 - Mentions Légales - 
 -