Theoretical Computer Science, 9th Italian Conference, ICTCS 2005