Sites Inria

Version française


Nathalie Lacaux - 18/05/2018

Best student paper award for Etienne Miquey from Gallinette team for the conference LICS’2018

Etienne Miquey , researcher at Gallinette research team, win the "Kleene Award ". This price will be awarded at the conference LIC’S (Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science), July 2018. It comes to award the research article entitled "A sequent calculus with dependent types for classical arithmetic ".

Each year, an award in honour of the late S.C. Kleene is given for the best student paper accepted at the LICS conference.

Keywords: LICS2018 Etienne Miquey Gallinette Kleene award INRIA Rennes - Bretagne Atlantique Award