The HLPP’2017 web site is now published on the World Wide Web. Its front-page contains the symposium announcement.  More content will be added soon. Visit HLPP’2017 site for more information.