=Paper=
{{Paper
|id=Vol-3284/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-3284/preface.pdf
|volume=Vol-3284
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-3284/preface.pdf</pdf>
<pre>
                                 Preface
                     to the Proceedings of ICTCS 2022


    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 different areas of theoretical computer science. In particular, ICTCS provides an ideal en-
vironment 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 follow-
ing: 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 repre-
sentation, languages, model checking, process algebras, quantum computing, rewriting systems,
security and trust, semantics, specification and verification, systems biology, theorem proving,
type theory.
   The 23rd Italian Conference on Theoretical Computer Science (ICTCS 2022) was hosted by
Sapienza University in Rome. It was the first physical edition of ICTCS after the beginning of
the COVID-19 pandemic, which forced the previous two editions to be held online. ICTCS 2022
received 33 submissions, of which 21 were accepted for presentation at the conference and then
published at CEUR (http://ceur-ws.org/). Each submission was assigned to three members of
the Program Committee, the reviewing process resulting in a total of 99 reviews (69 by the PC,
and 30 by external reviewers). Authors of the accepted contributions mostly came from Italy, but
some of them were from abroad (e.g., from France and India). ICTCS 2022 was attended by 47
people.
    In addition to the invited talks given by Luca Aceto (GSSI and Reykjavik University) and
Fabrizio Grandoni (IDSIA, Lugano), the conference included the IC-EATCS annual meeting, the
award ceremony for the IC-EATCS best young researcher Andrea Marino (who gave an invited
talk), the IC-EATCS best PhD thesis by Alessandro Gianola and Giorgio Vinciguerra, and the
best MSc thesis by Nicola Rizzo. On the first day there was a panel on “PNRR, VQR and
Theoretical Computer Science”, chaired by Angelo Montanari (University of Udine, president
of IC-EATCS), with panelists Giuseppe de Giacomo (Sapienza University) and Andrea Marin
(University Ca’Foscari, Venice). Finally, at the end of the second day, a Workshop in honor
of Rosella Petreschi took place, with contributions from Giorgio Ausiello, Tiziana Calamoneri,
Stephan Olariu, and Irene Finocchi.
    The organising team was formed by Ugo Dal Lago (University of Bologna), and Daniele Gorla
(Sapienza University). We wish to thank the program committee members, the additional review-
ers, the invited speakers, the authors, and all the participants.

                                                                          Rome, October 2022
                                                                   Ugo Dal Lago, Daniele Gorla




                                               1

</pre>