“...International Colloquium on Automata, Languages, and Programming Aarhus, Dánsko)...”