Best ETAPS Paper Award 2021

The EATCS award for the best theory paper at ETAPS 2021 (Luxembourg, 27 March - 1 April 2021) was awarded to the following two papers

"A String Diagrammatic Axiomatisation of Finite-State Automata" by Robin Piedeleu and Fabio Zanasi

and

"Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages" by Bartek Klin, Sławomir Lasota, and Szymon Toruńczyk