CILC CILC is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, www.programmazionelogica.it). Since the rst event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the eld of computational logic to meet and exchange ideas. Over the years, the conference broadened its horizons from the speci c eld of logic programming to include both foundational and applied work that use logics as a tool for representation and computation, such as declarative programming and its applications in arti cial intelligence and deductive databases. There were 21 submissions, of which 20 were accepted. Among the latter, 12 were original contributions that we published on http://ceur-ws.org/. ICTCS ICTCS is the annual conference of the Italian Chapter of the European Association for Theoretical Computer Science (IC-EATCS). The purpose of the meeting is to foster the cross-fertilisation of ideas stemming from di erent areas of theoretical computer science. In particular, it provides an ideal environment where junior researchers and PhD students can meet senior researchers. The Italian Chapter of the EATCS was founded in 1972 and previous meetings took place in Pisa (1972), Mantova (1974 and 1989), LAquila (1992), Ravello (1995), Prato (1998), Torino (2001), Bertinoro (2003), Pontignano (2005), Roma (2007), Cremona (2009), Camerino (2010), Varese (2012), Palermo (2013), Perugia (2014), Firenze (2015), and Lecce (2016). Contributions in theoretical computer science were solicited from researchers from anywhere in the world. There were 37 submissions, of which 26 were accepted and published on http://ceur-ws.org/. Participants came from Brazil, Canada, France, Germany, Israel, Italy, Qatar, UK and the USA. Joint Event The joint event included an award ceremony for the IC-EATCS best young researcher (Francesco Pasquale), the IC-EATCS best Phd thesis (Emanuele Natale) and best MSc thesis (Alessio Mansutti) in theoretical computer science, and the GULP best PhD thesis in computational logic (Roberto Amadini). This session was chaired by Agostino Dovier (GULP president) and Tiziana Calamoneri (IC-EATCS president). The best young researcher and the authors of the best PhD theses were invited to give talks. We were also delighted to have three invited speakers: Mario Alviano (University of Calabria), Laura Giordano (University of Piemonte Orientale), and Alessio Lomuscio (Imperial College London).
The program of the third day included a round-table discussion on \The evolution of PhD courses in Computer Science in Italy: Nature, organization, and future perspectives". This was hosted by Angelo Montanari (IC-EATCS), and featured Giovanni Adorni (AICA), Amedeo Cesta (AI*IA), Agostino Dovier (GULP), and Antonino Mazzeo (GII).
The joint event was co-located with the 2017 IEEE International Workshop on Measurements and Networking (M&N). Alessio Lomuscio's talk was opened to M&N attendants, while one of their invited talks, by Alan Smith (ST Microelectronics Napoli Site Manager) on \Driving the Innovation in the IoT", was open to CILC and ICTCS participants.
We would like to thank the Program Committee, the additional reviewers, the authors who responded to the call for papers, and our invited speakers Mario Alviano, Roberto Amadini, Laura Giordano, Alessio Lomuscio, Emanuele Natale, and Francesco Pasquale. We extend special thanks to Tiziana Calamoneri (IC-EATCS president), Alessandra Cherubini (IC-EATCS treasurer), Agostino Dovier (GULP president), Marco Gavanelli (GULP secretary), and to CESMA (Centro di Servizi Metrologici Avanzati) and Salvatore Annunziata for providing nancial- and venue-logistics. We also thank the various patrons that supported the joint event: IC-EATCS, GULP, the Royal Society International Exchanges Scheme (UK), the Department of Electrical Engineering and Information Technology (DIETI) at the University of Naples \Federico II". Finally we would like to thank the local organisers, and especially Vadim Malvone, Bastien Maubert and Loredana Sorentino for making sure the event ran smoothly.
Luigi Sauro (co-chair of CILC)
CILC 2017 is organised by GULP and the Department of Electrical Engineering and Information Technology (DIETI) at University of Naples \Federico II".
Benerecetti, Massimo Bresolin, Davide Ciancia, Vincenzo Cota, Giuseppe
University of Ferrara University of Parma University of Ferrara University of Torino University of Verona
ICTCS 2017 is organised by IC-EATCS and the Department of Electrical Engineering and Information Technology (DIETI) at University of Naples \Federico II".
Stefano Bistarelli Tiziana Calamoneri Diego Calvanese Antonio Caruso Annalisa De Bonis Dario Della Monica Michele Loreti Giovanni Michele Pinna Marino Miculan Mimmo Parente Andrea Pietracaprina Davide Sangiorgi Armando Tacchella Carmine Ventre
Arcucci, Rossella Auletta, Vincenzo Barbanera, Franco Bartoletti, Massimo Basile, Davide Bertrand, Nathalie Cimoli, Tiziana Cordasco, Gennaro Cuomo, Salvatore D'Arco, Paolo De Prisco, Roberto Deligkas, Argyrios University of Napoli \Federico II" University of Napoli \Federico II"