Automata, Languages and Programming: 2nd Colloquium, University of Saarbrücken