Soutenance de thèse d’Ambroise LAFONT (équipe Gallinette)
UFR Sciences 2 rue de la Houssinière, NantesAmbroise Lafont, doctorant au sein de l'équipe Gallinette, soutiendra sa thèse intitulée "Signatures et modèles pour la syntaxe et la sémantique opérationnelle en présence de liaison de variables" / "Signatures and models for syntax and operational semantics in the presence of variable binding" lundi 2 décembre 2019 à 14h, dans la salle 3 du bâtiment 11 sur le site de la FST. Jury : Directeur thèse : Nicolas Tabareau Co…
