ICTCS 2020
21st Italian Conference on Theoretical Computer Science

Proceedings of the 21st Italian Conference on Theoretical Computer Science

Ischia, Italy, September 14-16, 2020.

Edited by

Gennaro Cordasco *
Luisa Gargano **
Adele A. Rescigno **

* Università della Campania "L.Vanvitelli", Italy
** Università di Salerno, 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: Computability

Session 3: Semantics

Session 4: Logic

Session 5: Algorithms

Session 6: Computability

Session 7: Complexity

Session 8: Algorithms

Session 9: Complexity

Session 10: Semantics

Session 11: Logic

2020-10-27: submitted by Gennaro Cordasco, metadata incl. bibliographic data published under Creative Commons CC0
2020-12-02: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|