Proceedings from InterSol 2017 and CNRIA 2017 have been published together as one book.

You can find them here:

https://eudl.eu/proceedings/InterSol%202017%20and%20CNRIA/2017

https://www.springer.com/gp/book/9783319729640