Distinction
Best student paper award pour Etienne Miquey de l'équipe Gallinette à la conférence LICS’2018
Etienne Miquey , post-doctorant au sein de l’équipe-projet Gallinette remporte le "Kleene Award ". Ce prix lui sera remis lors de la conférence LIC’S (Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science) début juillet 2018. Il vient récompenser l'article de recherche intitulé "A sequent calculus with dependent types for classical arithmetic ".
Chaque année, un prix en l'honneur du défunt S.C. Kleene est décerné pour le meilleur article étudiant accepté lors de la conférence LICS.
Mots-clés : LICS2018 Etienne Miquey Gallinette Kleene award INRIA Rennes - Bretagne Atlantique Award
