Ma soutenance de thèse aura lieu lundi 2 décembre 2024 à 9h, dans la salle Jacques-Louis Lions de l'Inria Paris, 48 rue Barrault à Paris, et en visio à l'adresse https://webinaire.numerique.gouv.fr/meeting/signin/invite/45428/creator/23503/hash/3b0e966a18747415cd1d590e86c20be89187be47
Ma thèse porte sur l'inférence par contraintes pour les GADTs et le manuscrit est disponible ici