International Colloquium On Automata Languages And Programming