- Recherche / Culture scientifique
Meven LENNON-BERTRAND : "Bidirectional Typing for the Calculus of Inductive Constructions."
-
Le 24 juin 2022Campus Lombarderie
Faculté des Sciences et Techniques
Amphi - rdc du Bâtiment 34
2 rue de la Houssinière - 44300 Nantesfalse false -
à 14 heures
Nantes Université vous invite à assister à la thèse de doctorat en Informatique de Meven LENNON-BERTRAND 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.