Selected papers of The ninth Italian Conference on Theoretical Computer Science (ICTCS 2005)