Nicolas Tabareau (équipe Gallinette) a reçu l’ACM distinguished paper award à la conférence ICFP (International Conference on Functional Programming) qui a eu lieu à Saint-Louis (USA) du 23 au 29 septembre 2018.
Ce prix récompense la publication intitulée « Equivalences for Free: Univalent Parametricity for Effective Transport », rédigé avec Mathieu Sozeau, chercheur au sein de l’équipe parisienne PI.R2, et Éric Tanter de l’University of Chile.
Simon Boulier, doctorant au sein de l’équipe Gallinette, soutiendra sa thèse intitulée « extending type Theory with Syntactic Models »
jeudi 29 novembre 2018 à 14h00, dans l’amphi Blaise Pascale, à l’IMT Atlantique.
Jury : Nicolas Tabareau (dir thèse), Thierry Coquand (Université de Gothenburg, rapporteur), Hugo Herbelin (laboratoire IRIF PPS, rapporteur), Assia Mahboubi, Ambrus Kaposi Eötvös Lorand University Hongrie), Pierre Cointe
Le magazine « Chercheurs européens » de l’Université Bretagne Loire a rencontré Nicolas Tabareau, chargé de recherche Inria au sein de l’équipe Gallinette, afin de l’interroger sur son heureuse expérience de candidat à l’ERC Starting Grants avec son projet CoqHoTT.
Retrouvez son interview (pdf) en page 11 du N° 5 de juillet 2018.
