Vol-3284
urn:nbn:de:0074-3284-4




ICTCS 2022
23rd Italian Conference on Theoretical Computer Science 2022


Proceedings of the 23rd Italian Conference on Theoretical Computer Science

Rome, Italy, September 7-9, 2022.


Edited by

Ugo Dal Lago *
Daniele Gorla **

* Università di Bologna, Italy
** Sapienza Università di Roma, Italy





Table of Contents

Invited Talks

IC-EATCS Best Young Researcher

IC-EATCS Best PhD Thesis

IC-EATCS Best Master Thesis

Session 1: Graph Algorithms

Session 2: Logic

Session 3: Types and Semantics

Session 4: Counting and Combinatorics

Session 5: Concurrency and Automata + Game Theory

Session 6: Machine Learning and Autonomic Computing

Session 7: Short Presentations


2022-10-25 submitted by Ugo Dal Lago, metadata incl. bibliographic data published under Creative Commons CC0
2022-11-22: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|