Automata, languages, and programming 40th international colloquium, ICALP 2013, Riga, Latvia, July 8 - 12, 2013 ; proceedings