Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering Journal