Infoscience
40th International Colloquium on Automata, Languages and Programming
July 8-12, 2013
Riga, Latvia