Best Paper Award for Christof Löding and Anton Pirogov

31/05/2019

The paper of Christof Löding and Anton Pirogov Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp will receive the best paper award at the 46th International Colloquium on Automata, Languages and Programming (ICALP 2019), the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place in Patras on 8 - 12 July 2019.