[Dec’17] Lukas’ and Manfred’s paper “The Intersection Problem for Finite Monoids” was accepted at STACS 2018.

[Jun’17] Lukas’ paper “Green’s Relations in Finite Transformation Semigroups” and Armin’s paper “The conjugacy problem in free solvable groups and wreath product of abelian groups is in $\text{TC}^0$ \text{TC}^0 “ both received a Best Paper Award at the 12th International Computer Science Symposium in Russia (CSR).