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.