Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering