Sites Inria

English version

Distinction

Nathalie Lacaux (*) - 18/05/2018

Best student paper award pour Etienne Miquey de l'équipe Gallinette à la conférence LICS’2018

Etienne Miquey , postdoctorant 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

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !