Universit` a di Udine Dipartimento di Matematica e Informatica Technical Report: 5-2010 CALCO Young Researchers Workshop CALCO-jnr 2009 6 September 2009 Selected Papers edited by Magne Haveraaen, Marina Lenisa, John Power, and Monika Seisenberger