Accepted Papers
A Realistic Model for Rescue Operations after an Earthquake. Authors: Tiziana Calamoneri and Federico Corò
A general syntax for nonrecursive Higher Inductive Types. Authors: Marco Girardi, Roberto Zunino and Marco Benini
Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions. Author: Marco Bernardo
Syntactic Isomorphism of CNF Boolean Formulas is Graph Isomorphism Complete. Authors: Giorgio Ausiello, Francesco Cristiano, Paolo Fantozzi and Luigi Laura
Shape-Preserving Pattern Matching. Authors: Simone Faro, Domenico Cantone and M. Oguzhan Kulekci
A process calculus approach to correctness enforcement of PLCs. Authors: Ruggero Lanotte, Massimo Merro and Andrei Munteanu
On the parametrized complexity of read-once refutations in UTVPI$+$ constraint systems. Authors: Piotr Wojciechowski and K. Subramani
A Substructure based Lower Bound for Eternal Vertex Cover Number. Authors: Jasine Babu, Veena Prabhakaran and Arko Sharma
Linear Temporal Logics for Structured Context-Free Languages. Authors: Michele Chiari, Davide Bergamaschi, Dino Mandrioli and Matteo Pradella
Complexity of Scorpion Solitaire and applications to Klondike. Authors: Francesco Arena and Miriam Di Ianni
From Decidability to Undecidability by Considering Regular Sets of Instances. Author: Petra Wolf
Why Proof-Theory Matters in Specification-based Testing. Author: Alberto Momigliano
Software Transactional Memory with Interactions for Haskell. Authors: Marino Miculan and Marco Peressotti
From Hilbert's 10th problem to slim, undecidable fragments of set theory. Authors: Domenico Cantone, Eugenio Omodeo and Mattia Panettiere
Forward Proof-search and Countermodel Construction in Intuitionistic Propositional Logic. Authors: Camillo Fiorentini and Mauro Ferrari
Novel Paradigm for the design of Obviously Strategyproof Mechanisms. Authors: Diodato Ferraioli, Adrian Meier, Paolo Penna and Carmine Ventre
Structural Parameterizations of Tracking Paths Problem. Authors: Pratibha Choudhary and Venkatesh Raman
Compositional Modeling of Biological Systems in CospanSpan(Graph). Authors: Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini and Simone Tini
Quantum Algorithm for Ensemble Learning. Authors: Antonio Macaluso, Stefano Lodi and Claudio Sartori
Differential Logical Relations Part II: Increments and Derivatives. Authors: Ugo Dal Lago and Francesco Gavazzo
A Generalized LR(1) Parser or Extended Context-Free Grammars. Authors: Luca Breveglieri, Angelo Borsotti, Stefano Crespi Reghizzi and Angelo Morzenti
Fair Division is Hard even for Amicable Agents. Authors: Neeldhara Misra and Aditi Sethia
A Java visual simulator of Turing Machines. Authors: Alessandro Burigana, Francesco De Martino and Agostino Dovier
Time Series Checking with Fuzzy Interval Temporal Logics. Authors: Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco and Ionel Eduard Stan
Equational Logic and Set-Theoretic Models for Multi-Languages. Authors: Samuele Buro, Roy Crole and Isabella Mastroeni
Finding an Optimal Label-Splitting to Make a Transition System Petri Net Implementable: a Complete Complexity Characterization. Author: Ronny Tredup
On A Class of Constrained Synchronization Problems in NP. Author: Stefan Hoffmann
Undecidability of future timeline-based planning over dense temporal domains. Authors: Laura Bozzelli, Alberto Molinari, Angelo Montanari and Adriano Peron
Breaking Symmetries on Tessellation Graphs via Asynchronous Robots. Author: Serafino Cicerone
Hierarchical decompositions of dihypergraphs. Authors: Simon Vilmin and Lhouari Nourine