ICTCS 2018
Italian Conference on Theoretical Computer Science

Proceedings of the 19th Italian Conference on Theoretical Computer Science

Urbino, Italy, September 18-20, 2018.

Edited by

Alessandro Aldini *
Marco Bernardo *

* University of Urbino Carlo Bo, Department of Pure and Applied Sciences, 61029 Urbino, Italy

Table of Contents

Invited Talks

IC-EATCS Best Young Researcher

IC-EATCS Best PhD thesis (Mattia Gastaldello award)

IC-EATCS Best master thesis

Session 1: Games and Distributed Algorithms

Session 2: Graphs

Session 3: AI, Complexity and Decidability

Session 4: Logics and Constraints

Session 5: Formal Languages and Static Analysis

Session 6: Concurrency

2018-11-08: submitted by Alessandro Aldini and Marco Bernardo, metadata incl. bibliographic data published under Creative Commons CC0
2018-11-11: published on CEUR-WS.org |valid HTML5|