- Recherche
Loïc PUJET : "Computing with Extensionality Principles in Type Theory."
-
Le 13 décembre 2022Campus LombarderieCampus Lombarderie
Amphithéâtre - Bât 34
2 Chemin de la Houssinière - 44300 Nantesfalse false -
à 15 heures
Nantes Université vous invite à assister à la thèse de doctorat en Informatique de Loïc PUJET sous la direction de Nicolas TABAREAU.
La soutenance est ouverte au public et est organisée selon les modalités prévues par l'arrêté du 25 mai 2016 fixant le cadre national de la formation et les modalités conduisant à la délivrance du diplôme national de doctorat.
Mis à jour le 06 décembre 2024.