Actualités

Enzo Crance, Doctorant au sein de l'équipe Gallinette, présentera sa thèse intitulée : "Meta-Programming for Proof Transfer in Dependent Type Theory" Le mardi 19 décembre à 10h dans l'amphithéâtre du bâtiment 34, UFR S&T Pour ceux qui souhaitent suivre cette soutenance à distance, elle sera diffusée en direct sur la plateforme suivante : https://mediaserver.univ-nantes.fr/ Jury : Sandrine Blazy, Professeur des universités, Université de Rennes, IRISA (rapporteur) Mathieu Boespflug, Chercheur industriel…