The 19th Italian Conference on Theoretical Computer Science (ICTCS 2018) was held on September 18{20, 2018, in the center of Urbino, a walled city listed by UNESCO as a World Heritage Site, which was one of the capitals of Renaissance. 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-fertilization 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 topics of interest include agents, algorithms, argumentation, automata theory, complexity theory, computational logic, computational social choice, concurrency theory, cryptography, discrete mathematics, distributed computing, dynamical systems, formal methods, game theory, graph theory, knowledge representation, languages, model checking, process algebras, quantum computing, rewriting systems, security and trust, semantics, speci cation and veri cation, systems biology, theorem proving, and type theory.
support, and the Department of Pure and Applied Sciences (DiSPeA) of the University of Urbino for the nancial support of the invited speakers. Alessandro Aldini and Marco Bernardo
Universita di Urbino Carlo Bo Universita di Urbino Carlo Bo
Goldwurm, Massimiliano Leoncini, Mauro Mantadelis, Theofrastos Moscardelli, Luca Pacenza, Francesco Pasqua, Michele Quadrini, Michela Tesei, Luca Valentini, Giorgio Wang, Kewen