ICTCS 2023
Italian Conference on Theoretical Computer Science 2023

Proceedings of the 24th Italian Conference on Theoretical Computer Science

Palermo, Italy, September 13-15, 2023.

Edited by

Giuseppa Castiglione *
Marinella Sciortino *

* University of Palermo, Italy

Table of Contents

Invited Talks

IC-EATCS Best Young Researcher

IC-EATCS Best PhD Thesis

IC-EATCS Best Master Thesis

Session 1: Logic and Semantics

Session 2: Graphs

Session 3: String algorithms and Combinatorics

Session 4: Languages and computational models

Session 5: Computational models

Session 6: Formal methods, Complexity and Game Theory

2023-11-14: submitted by Giuseppa Castiglione, metadata incl. bibliographic data published under Creative Commons CC0
2023-12-13: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|