“…Colloquium on Automata, Languages and Programming University of Edinburgh…”