ICTCS 2021
22nd Italian Conference on Theoretical Computer Science 2021

Table of Contents

• Preface
  
  

Invited Talks

• Lock freedom of binary sessions under strong fairness assumptions (text not included)
  Luca Padovani
• On-line Pattern Matching on Degenerate Texts (text not included)
  Nadia Pisanti

IC-EATCS Best Young Researcher

• Emerging Research Topics in Graph Drawing (text not included)
  Fabrizio Montecchiani

IC-EATCS Best PhD thesis

• Combinatorial Methods for the Analysis of Related Genomic Sequences (text not included)
  Giulia Bernardini

• Flexible Coinduction (text not included)
  Francesco Dagnino

IC-EATCS Best master thesis

• Some Intensional Versions of Rice's Theorem (text not included)
  Linpeng Zhang

Session 1: Algorithms

• Enhancing Characters Distance Text Sampling by Condensed Alphabets 1-15
  Simone Faro, Francesco Pio Marino, Arianna Pavone
• Proving a Conjecture on 8-Distance Coloring of the Infinite Hexagonal Grid 16-26
  Sasthi C. Ghosh, Subhasis Koley
• A Simple Optimal Contention Resolution Scheme for Uniform Matroids 27-39
  Richard Santiago, Danish Kashaev
• Cooperative Truck-Drone Scheduling Approach for Last-Mile Deliveries (short paper) 40-45
  Francesco Betti Sorbelli, Federico Corò, Sajal K. Das, Lorenzo Palazzetti, Cristina M. Pinotti

Session 2: Formal Languages

• Ordering Regular Languages: a Danger Zone 46-69
  Davide Martincigh, Giovanna D'Agostino, Alberto Policriti
• Extended ω-Regular Languages and Interval Temporal Logic 70-86
  Dario Della Monica, Angelo Montanari, Pietro Sala
• Iterated Transduction on Unary Languages (short paper) 87-92
  Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano

Session 3: Logic

• A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision 93-106
  Stefano Bistarelli, Carlo Taticchi
• On Counting Propositional Logic and Wagner's Hierarchy 107-121
  Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
• Recent Results on Strategy Logic with Imperfect Information (short paper) 122-128
  Bastien Maubert
• Inference From Non-Horn Clauses With Partial Predicates (short paper) 129-134
  Alexander Sakharov

Session 4: Concurrency and Decidability

• Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11) 135-149
  Arnaldo Cesco, Roberto Gorrieri
• A Decidable Theory Treating Addition of Differentiable Real Functions 150-163
  Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio Omodeo, Gaetano Spartà
• Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages 164-178
  Domenico Cantone, Pietro Maugeri, Eugenio Omodeo

Session 5: Combinatorics

• L(2,1)-Edge Labeling of Infinite Triangular Grid 179-192
  Susobhan Bandopadhyay, Sasthi C. Ghosh, Subhasis Koley
• On Counting L-Convex Polyominoes (short paper) 193-198
  Valentina Dorigatti, Paolo Masazza
• Reducing the Local Alphabet Size in Tiling Systems for Picture Languages (short paper) 199-204
  Stefano Crespi Reghizzi, Antonio Restivo, Pierluigi San Pietro

Session 6: Games

• Fractional Hedonic Games With a Limited Number of Coalitions 205-218
  Fu Li
• The Obnoxious Facility Location Game with Dichotomous Preferences 219-233
  Fu Li, Gregor Plaxton, Vaibhav Sinha

Session 7: Complexity

• Stability of Special Graph Classes 234-248
  Robin Weishaupt, Jörge Rothe
• Nondeterministically Selecting Positive Instances of Context-Free Languages 249-265
  Tomoyuki Yamakami

Session 8: Computation and Deduction

• Enhanced Regular Corecursion for Data Streams 266-280
  Davide Ancona, Pietro Barbieri, Elena Zucca
• A Filter Model for the State Monad (short paper) 281-286
  Ugo de'Liguoro, Riccardo Treglia

Session 9: Quantum Computation and Model Checking

• Fast Classical and Quantum Algorithms for Online k-server Problem on Trees 287-301
  Ruslan Kapralov, Kamil Khadiev, Joshua Mokut, Yixin Shen, Maxim Yagafarov
• Combine Model Checking and Runtime Verification in Multi-Agent Systems (short paper) 302-310
  Angelo Ferrando, Vadim Malvone
• Towards a Model Checking Tool for Strategy Logic with Simple Goals (short paper) 311-316
  Vadim Malvone, Silvia Stranieri

Session 10: Strings and Alignments

• Hardness of MSA with Selective Column Scoring 317-327
  Andrea Caucchiolo, Ferdinando Cicalese
• Pruned BNDM: Extending the Bit-Parallel Suffix Automata to Large Strings 328-340
  Simone Faro, Stefano Scafiti