Section: Highlights of the Year
ICALP best paper award
Pierre Bourhis' paper with Oxford (Benedikt and Vanden Boom) in Track B of ICALP'17 won the best paper award!
Best Paper Award:
[17]Characterizing Definability in Decidable Fixpoint Logics , in: ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Varsovie, Poland, I. Chatzigiannakis, P. Indyk, F. Kuhn, A. Muscholl (editors), July 2017, vol. 107, 14 p. [ DOI : 10.4230/LIPIcs.ICALP.2017.107 ]
https://hal.inria.fr/hal-01639015