“...Conference on Mathematical Foundations of Computer Science Karlsruhe, Německo)...”