“...Symposium on Theoretical Aspects of Computer Science Aachen, Germany...”