| Vol-3284 urn:nbn:de:0074-3284-4 Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# 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

- Preface

### Invited Talks

- A Journey Through the Spectrum of Monitorability (text not included)
  Luca Aceto
- Unsplittable Flow on a Path and Related Problems (text not included)
  Fabrizio Grandoni

### IC-EATCS Best Young Researcher

- Paths and Walks Problems in Temporal Graphs (text not included)
  Andrea Marino

### IC-EATCS Best PhD Thesis

- STM-based Safety Verification of Data-Aware Processes: Foundations and Applications (text not included)
  Alessandro Gianola
- Learning-Based Compressed Data Structures (text not included)
  Giorgio Vinciguerra

### IC-EATCS Best Master Thesis

- The Longest Repeated String Problem on Graphs (text not included)
  Nicola Rizzo

### Session 1: Graph Algorithms

- Insights into the Complexity of Disentangling Temporal Graphs 1-13
  Riccardo Dondi
- On the Parametrized Complexity of the s-Club Cluster Edge Deletion Problem 14-20
  Fabrizio Montecchiani, Giacomo Ortali, Tommaso Piselli, Alessandra Tappini
- Computing Eternal Vertex Cover Number on Maximal Outerplanar Graphs in Linear Time 21-33
  Jasine Babu, Karunakaran Murali Krishnan, Veena Prabhakaran, Nandini J. Warrier
- On the Domination Number of t-Constrained de Bruijn Graphs 34-39
  Tiziana Calamoneri, Angelo Monti, Blerina Sinaimeri

### Session 2: Logic

- LTLf Synthesis Under Environment Specifications 40-46
  Antonio Di Stasio
- Synthesis of Mechanisms with Strategy Logic 47-52
  Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
- On Modal Logic Association Rule Mining 53-65
  Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz-Velasco, Giovanna Pagliarini, Mauro Milella, Andrea Paradiso

### Session 3: Types and Semantics

- A Java-Like Calculus with User-Defined Coeffects 66-78
  Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
- On the Properties of Partial Completeness in Abstract Interpretation 79-85
  Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
- Equality of Corecursive Streams Defined by Finitary Equational Systems 86-98
  Davide Ancona, Pietro Barbieri, Elena Zucca
- Semantics in Skel and Necro 99-115
  Louis Noizet, Alan Schmitt

### Session 4: Counting and Combinatorics

- On Counting k-Convex Polyominoes 116-121
  Paolo Massazza
- When a Dollar in a Fully Clustered Word Makes a BWT 122-135
  Sara Giuliani, Zsuzsanna Liptàk, Francesco Masillo
- On Compressing Collections of Substring Samples 136-147
  Golnaz Badkobeh, Sara Giuliani, Zsuzsanna Liptàk, Simon Puglisi

### Session 5: Concurrency and Automata + Game Theory

- A Calculus for Subjective Communication 148-160
  Marino Miculan, Matteo Paier
- Incremental NFA Minimization 161-173
  Brian Riccardi, Riccardo Romanello, Alberto Policriti, Christian Bianchini
- General Opinion Formation Games with Social Group Membership 174-179
  Vittorio Bilò, Diodato Ferraioli, Cosimo Vinci
- Nash Social Welfare in Selfish and Online Load Balancing 180-187
  Vittorio Bilò, Gianpiero Monaco, Luca Moscardelli, Cosimo Vinci

### Session 6: Machine Learning and Autonomic Computing

- Clustering Classical Data with Quantum k-Means 188-200
  Alessandro Poggiali, Alessandro Berti, Anna Bernasconi, Gianna Maria Del Corso, Riccardo Guidotti
- Distributed Programming of Smart Systems with Event-Condition-Action Rules 201-206
  Michele Pasqua, Marino Miculan
- Uniform Circle Formation for Fully Semi-, and Asynchronous Opaque Robots with Lights 207-221
  Caterina Feletti, Carlo Mereghetti, Beatrice Palano, Priscilla Raucci

### Session 7: Short Presentations

- Monad Transformations as Parametric Distributive Laws (text not included)
  Lorenzo Petricone, Ivano Salvo
- Counting on a Rainbow Connection (text not included)
  Robert Barish, Tetsuo Shibuya

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|