International Colloquium on Automata, Languages, and Programming (30th 2003 Eindhoven, Netherlands)