Vol-2504
urn:nbn:de:0074-2504-3




ICTCS 2019
20th Italian Conference on Theoretical Computer Science


Proceedings of the 20th Italian Conference on Theoretical Computer Science

Como, Italy, September 9-11, 2019.


Edited by

Alessandra Cherubini *
Nicoletta Sabadini **
Simone Tini **

* Politecnico di Milano, Italy
** Università dell'Insubria, Italy





Table of Contents

Invited Talks

IC-EATCS Best Young Researcher

IC-EATCS Best PhD thesis

IC-EATCS Best master thesis

Session 1: Reasoning Based on Distances and Applications to Biology

Session 2: Formal Languages

Session 3: Algorithms and Graphs

Session 4: Petri Nets, Process Calculi and Interacting Automata

Session 5: Types and Evolving Network Analysis

Session 6: Logic, (Automatic) Verification and Model Checking


2019-10-21: submitted by Simone Tini, metadata incl. bibliographic data published under Creative Commons CC0
2019-11-28: published on CEUR-WS.org |valid HTML5|