Vol-1949
urn:nbn:de:0074-1949-5




ICTCS 2017 and CILC 2017
Italian Conference on Theoretical Computer Science and Italian Conference on Computational Logic


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.


Edited by

Dario Della Monica *,**
Aniello Murano *
Sasha Rubin *
Luigi Sauro *

* Università degli Studi di Napoli Federico II, Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione, 80125 Napoli, Italia
** Universidad Complutense de Madrid, Sección Departamental de Sistemas Informáticos y Computación, 28040 Madrid, España





Table of Contents

Invited Talks

IC-EATCS Best Young Researcher

GULP Best Italian PhD Thesis in Computational Logic

IC-EATCS Best Italian PhD Thesis in Theoretical Computer Science

ICTCS 2017: Accepted contributions

The program of ICTCS 2017 also featured the presentations of the following papers, which appeared or have been submitted elsewhere:

CILC 2017: Accepted contributions

The program of CILC 2017 also featured the presentations of the following papers, which appeared or have been submitted elsewhere:

Additional Information

CILC 2017 was organised by GULP.
ICTCS 2017 was organised by IC-EATCS.
Both conferences were organised by the Department of Electrical Engineering and Information Technology (DIETI) at the University of Naples "Federico II".

2017-10-03: submitted by Sasha Rubin, metadata incl. bibliographic data published under Creative Commons CC0
2017-10-07: published on CEUR-WS.org |valid HTML5|