The LNCS proceedings are available here: https://link.springer.com/book/10.1007/978-3-319-59271-8
The supplementary proceedings, containing work-in-progress papers, as well as posters and demos, are available here: https://icfca2017.irisa.fr/files/2017/06/icfca_suppl_final_avec_isbn.pdf
