ICALP

International Colloquium on Automata, Languages and Programming