Proceedings of 6th Italian Conference on Theoretical Computer Science