Vol-3072
urn:nbn:de:0074-3072-7




ICTCS 2021
22nd Italian Conference on Theoretical Computer Science 2021


Proceedings of the 22nd Italian Conference on Theoretical Computer Science

Bologna, Italy, September 13-15, 2021.


Edited by

Claudio Sacerdoti Coen *
Ivano Salvo **

* 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: Algorithms

Session 2: Formal Languages

Session 3: Logic

Session 4: Concurrency and Decidability

Session 5: Combinatorics

Session 6: Games

Session 7: Complexity

Session 8: Computation and Deduction

Session 9: Quantum Computation and Model Checking

Session 10: Strings and Alignments


2021-12-05: submitted by Ivano Salvo, metadata incl. bibliographic data published under Creative Commons CC0
2022-01-15: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|