ISSN 1613-0073 CEUR Workshop Proceedings, Volume 1720 (http://ceur-ws.org/Vol-1720) Copyright @2016 for the individual papers by the papers’authors. Copying permitted for private and academic purpose. Re-pubblication of material from this volume requires permission by the copyright owners.
We would like to thank all the authors who responded to the call for papers and our invited speakers Giampaolo Bella and Gianluigi Greco. Furthermore, we thank the members of the Program Committee and the subreferees for their excellent and qualified work.
We gratefully acknowledge sponsorship from the Univerità del Salento and its Department of Mathematics and Physics “Ennio De Giorgi”, the Fondazione Puglia, and the Italian Chapter of the European Association of Theoretical Computer Science.
Lecce September 20, 2016
Vittorio Bilò Antonio Caruso
Conference Organization ICTCS’16 is organized by the department of Mathematics and Physics ”Ennio De Giorgi”, Univeristy of Salento in cooperation with the Italian chapter of EATCS.
Vittorio Bilò Antonio Caruso
Luca Aceto Stefano Bistarelli Chiara Bodei Andrea Clementi Rocco De Nicola Mariangiola Dezani Michele Flammini Giovanni Pighizzini Geppino Pucci Paola Vocca Additional Reviewers Basile, Davide Bedogni, Luca Ceccarello, Matteo Crafa, Silvia D’Angelo, Gianlorenzo D’Emidio, Mattia Della Monica, Dario Deng, Yuxin Fantozzi, Carlo
Università del Salento Università del Salento Reykjavik University Università di Perugia Università di Pisa Università “Tor Vergata” di Roma IMT - School for Advanced Studies, Lucca Università di Torino Università di L’Aquila Università di Milano Università di Padova
Università della Tuscia García-Pérez, Álvaro Giuliodori, Paolo Goldwurm, Massimiliano Knapik, Michał Leucci, Stefano Manea, Florin Mantaci, Sabrina Massink, Mieke Merro, Massimo
Padovani, Luca Pasquale, Francesco Pomello, Lucia Prencipe, Giuseppe Proietti, Guido Reiter, Fabian Santini, Francesco Sokolova, Ana Sproston, Jeremy Stievenart, Quentin Fell, Alexander Ferraioli, Diodato Ferrari, Gianluigi Fiorentini, Camillo Francalanza, Adrian Gadducci, Fabio Galletta, Letterio
Miculan, Marino Milazzo, Paolo Monaco, Gianpiero Moscardelli, Luca Mukherjee, Manideepa Natale, Emanuele Nenzi, Laura
Tannock, Murray Tiezzi, Francesco Torres Vieira, Hugo van Breugel, Franck Sponsoring Institutions Dipartimento di Matematica e Fisica ’Ennio De Giorgi” Fondazione Puglia Runtime checks as nominal types : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : Paola Giannini, Marco Servetto, and Elena Zucca Short Communications Reversible Semantics in Session-based Concurrency : : : : : : : : : : : : : : 221
Claudio Antares Mezzina and Jorge A. Pérez Towards A Practical Model of Reactive Communication-Centric Software : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 227
Jaime Arias, Mauricio Cano, and Jorge A. Pérez Minimal and Reduced Reversible Automata : : : : : : : : : : : : : : : : : : : : 234 Giovanna J. Lavado, Giovanni Pighizzini, and Luca
Prigioniero Relating paths in transition systems: the fall of the modal mu-calculus : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 240
Catalin Dima, Bastien Maubert, and Sophie Pinchinat An unifying framework for compacting Petri nets behaviors : : : : : : 245
Giovanni Casu and G. Michele Pinna Additional Winning Strategies in Two-Player Games : : : : : : : : : : : : : 251
Vadim Malvone and Aniello Murano Deadlock analysis with behavioral types for actors. : : : : : : : : : : : : : : 257
Vincenzo Mastandrea On the Clustered Shortest-Path Tree Problem : : : : : : : : : : : : : : : : : : 263 Mattia D’Emidio, Luca Forlizzi, Daniele Frigioni, Stefano Leucci, Guido Proietti Influence Maximization in the Independent Cascade Model : : : : : : : 269
Gianlorenzo D’Angelo, Lorenzo Severini, and Yllka Velaj A Mechanism Design Approach for Allocation of Commodities : : : : 275 Stefano Bistarelli, Rosario Culmone, Paolo Giuliodori and Stefano Mugnoz Merging Frequent Summaries : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 280
Massimo Cafaro and Marco Pulimeno On Maximal Chain Subgraphs and Covers of Bipartite Graphs : : : : 286 Tiziana Calamoneri and Mattia Gastaldello and Arnaud Mary and Marie-France Sagot and Blerina Sinaimeri Author Index : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 292 Arias Jaime
1 203 275 163 49 177 280 103, 286
227 23, 36 245 149 36 275 251 251 122 286 257 240 221 88, 203 49 49 103 122 275