Sites Inria

Version française

Best paper

11/05/2017

Best paper / International Colloquium on Automata, Languages, and Programming (ICALP)

Pierre Bourhis, researcher in the project team Links (shared with the CNRS, Lille University - Science and Technology and the University of Lille - Social and Human Sciences *), received the Best Paper Award Of track B of the 44th ICALP conference to be held next July in Warszawa, Poland.

This award rewards the paper "Characterizing Definability in decidable Fixpoint Logics" of Pierre Bourhis and colleagues from Oxford: Michael Benedikt and Michael Van den Boom.
* Within the UMR 9189 CNRS-Centrale Lille-University of Lille - sciences and technologies, Cristal.

Keywords: Pologne Automatique Langage Programmation Paper award

Top