Atti

CILC 2017 Proceedings on CEUR

The CILC 2017 proceedings are freely available as  http://ceur-ws.org/Vol-1949/ This is a joint issue of Italian Conference on Theoretical Computer Science and Italian Conference on Computational Logic