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

6 juin 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 LIC’S.