Skip to main content

Best paper win at International Colloquium on Automata, Languages and Programming

Posted:

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.

http://icalp17.mimuw.edu.pl

 



People