Workshop date: 24 July, 2017
Workshop venue: Co-located with CAV Conference 2017, Heidelberg, Germany