Proceedings of the XP2017 Scientific Workshops, Cologne, Germany May 22-26, 2017 - Tonelli, Roberto. (ACM,)