Homepage Inria website

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:
M. Benedikt, P. Bourhis, M. V. Boom.

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 ]