Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021

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 meeting is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, ICTCS provides an ideal environment where junior researchers and PhD students can meet senior researchers. 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, specification and verification, systems biology, theorem proving, type theory. The 22nd Italian Conference on Theoretical Computer Science (ICTCS 2021) has been hosted by the University of Bologna. Due to the worldwide evolution of COVID-19, it was held online on September 13–15, 2021. ICTCS 2021 received 38 submissions (25 regular papers and 13 communications), of which 28 were accepted for presentation at the conference and then published on http://ceurws.org/ (18 regular papers and 10 communications). Each submission was assessed by at least 3 reviewers, for a total of 69 reviewers (23 program committee members plus 46 additional reviewers) producing 114 reviews overall. The authors of the accepted contributions mostly came from Italy (16). Foreign contributions came from USA (2), India (2), Japan (1), Germany (1), Switzerland (1), and Algeria (1). 4 contributions are joint work between italian and foreign authors. ICTCS 2021 was attended by 68 people.