Ninth Italian Conference on Theoretical Computer Science (ICTCS'05)