<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <kwd-group>
        <kwd>Giuseppa Castiglione and Marinella Sciortino</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>The Italian Conference on Theoretical Computer Science (ICTCS) is the
conference of the Italian Chapter of the European Association for Theoretical
Computer Science. The purpose of ICTCS is to foster the cross-fertilization of ideas
stemming from diferent areas of theoretical computer science. In particular,
ICTCS provides an attractive venue where junior researchers and PhD students
can meet senior researchers. Contributions in any area of theoretical computer
science are warmly invited from researchers of all nationalities. 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 24th
Italian Conference on Theoretical Computer Science (ICTCS 2023) was held at
the University of Palermo, in the Sala Lanza of the Botanical Garden. It
received 39 submissions, of which 21 have been accepted as regular papers and 11
as communication papers. Each submission was assigned to three members of
the Program Committee, the reviewing process resulting in a total of 117 reviews
(77 by the PC, and 40 by external sub-reviewers). Most of the authors of the
accepted contributions come from Italy, some authors are from abroad (France,
Finland, Island, Japan, and Turkey). ICTCS 2023 was attended by 64 people.
The invited talks have been given by Miko laj Bojan´czyk (University of Warsaw,
Poland) and Paola Bonizzoni (University of Milano-Bicocca, Italy). Moreover,
the conference included the IC-EATCS annual meeting, the award ceremony for
the IC-EATCS best young researcher Cosimo Vinci (who gave an invited talk),
the IC-EATCS best PhD thesis by Gabriele Vanoni, and the best MSc thesis by
Davide Cozzi. On the first day, there was a panel titled ”Dialogo sulla ricerca in
informatica teorica in Italia” with panelists Fabio Gadducci (President of GRIN
– GRuppo di INformatica) and Angelo Montanari (President of EATCS Italian
Chapter).</p>
      <p>The Organizing Committee was formed by Chiara Epifanio, Gabriele Fici,
Manuela Flores, Sabrina Mantaci, Arianna Pavone, Giuseppe Romana and
Marco E. Tabacchi (all from the University of Palermo, Italy).</p>
      <p>We wish to thank the Program Committee members, all the sub-reviewers,
the invited speakers, the authors of the papers, and all the participants.</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>