Best paper win at International Colloquium on Automata, Languages and Programming
Posted: 10th May 2017
Michael Benedikt and Michael Vanden Boom are co-authors on a paper which has been chosen for the Best Paper award in the track B category of the prestigious International Colloquium on Automata, Langauges and Programming. The paper is, 'Characterizing Definability in Decidable Fixpoint Logics'.
The conference will take place at the University of Warsaw this July.