Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering 13-15 September 2017, Sophia Antipolis, France / (IEEE,)