Vol-3587
urn:nbn:de:0074-3587-5



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|