“...Symposium on Theoretical Aspects of Computer Science Freiburg, Německo)...”