Selected Papers of the Conference 'International Colloquium on Automata, Languages and Programming 2008' (ICALP). Special issue of Logical Methods in Computer Science - Castagna, Giuseppe; Walukiewicz, Igor (2009)