- Recherche
Enzo CRANCE : "Meta-programming for proof transfer in dependent type theory."
-
Le 19 décembre 2023Campus LombarderieFaculté des Sciences et Techniques
Amphithéâtre - Bât 34 - LS2N
2 Chemin de la Houssinière 44300 Nantes
false false -
à 10 heures
Nantes Université vous invite à assister à la thèse de doctorat en Informatique de Enzo CRANCE sous la direction de Assia MAHBOUBI.
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.