The Italian Conference on Theoretical Computer Science (ICTCS) is the annual conference of the Italian Chapter of the European Association for Theoretical Computer Science (IC-EATCS). The purpose of the aforementioned meeting is to foster the cross-fertilization of ideas stemming from di erent areas of theoretical computer science. In particular, ICTCS provides an ideal environment where junior researchers and PhD students can meet senior researchers, discussing new ideas and ongoing work. The topics of interest include, but are not limited to, the following: 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, type theory.