Download the informal proceedings of the papers to be presented at HLPP’2017 in this link.