on May 12, 2017
Pierre Bourhis, a research fellow in the Links project-team (jointly run by CNRS, Université de Lille - sciences et technologies and Université de Lille - sciences humaines et sociales*), has been awarded the Best Paper Award for Track B at the ICALP conference to be held in July.
The award recognizes the paper “Characterizing Definability in Decidable Fixpoint Logics” by Pierre Bourhis and his Oxford colleagues Michael Benedikt and Michael Van den Boom. The 44th International Colloquium on Automata, Languages, and Programming will take place from July 10 to 14 in Warszawa, Poland. ICALP is the main European annual meeting of EATCS. (European Association for Theoretical Computer Science)
français
English