ICALP' 2000 Twenty Seventh International Colloquium on Automata, Languages and Programming