Dependable Systems Group

ICALP 2018 Best Paper Award

Jan 08, 2019

We received the best paper award on the 45th International Colloquium on Automata, Languages, and Programming, Track B (ICALP), for the contribution An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences (D. Nowotka, A. Saarela).