Home » Évènement

Soutenance de thèse de Simon BOULIER (équipe Gallinette)

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

ACM distinguished paper award pour Nicolas Tabareau à ICFP 2018

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.

Voir l’article.

Interview de Nicolas Tabareau pour le magazine « Chercheurs européens » de l’UBL

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.

Copyright : LS2N 2017 - Mentions Légales - 
 -