- Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro, editors, Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017. Volume 1949 of CEUR Workshop Proceedings, CEUR-WS.org, 2017.