Informal proceedings available July 10, 2017 arturo Download the informal proceedings of the papers to be presented at HLPP’2017 in this link.