Each presentation has a slot of 20 mins (15 mins presentation + 5 mins Q&A).

Session 1: Foundations

Friday, 11:30 – 12:30. Chair: Marianna Nicolosi-Asmundo

  1. Mauro Ferrari, Camillo Fiorentini and Guido Fiorino: Forward Countermodel Construction in Modal Logic K.
  2. Domenico Cantone and Eugenio Omodeo: Can a single equation witness that every r.e. set admits a finite-fold Diophantine representation?.
  3. Laura Giordano and Alberto Policriti: Power (Set) ALC (Extended Abstract).

Session 2: Verification and Validation

Friday, 14:00 – 16:00. Chair: Laura Giordano

  1. Carla Piazza, Sabina Rossi and Jane Hillston: Persistent Stochastic Non-Interference.
  2. Giorgio Delzanno, Sylvain Conchon and Angelo Ferrando: Declarative Parameterized Verification of Topology-sensitive Distributed Protocols.
  3. Francesco Komauli and Alberto Momigliano: Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report.
  4. Emanuele De Angelis, Fabio Fioravanti, Adrian Palacios, Alberto Pettorossi and Maurizio Proietti: Meta-programming and symbolic execution for detecting run-time errors in Erlang programs.
  5. Giorgio Delzanno: Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking.
  6. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montaliand Andrey Rivkin: Verification of Data-Aware Processes via Array-Based Systems.

Session 3: Description logics

Friday, 16:30 – 17:30. Chair: Diego Calvanese

  1. Loris Bozzato, Thomas Eiter and Luciano Serafini: Reasoning with Justifiable Exceptions in Contextual Hierarchies.
  2. Domenico Cantone, Marianna Nicolosi-Asmundo and Daniele Francesco Santamaria: A set-based reasoner for the description logic DL^{4,×}_{D}.
  3. Combined presentation:

    • Antonio Lieto, Gian Luca Pozzato and Alberto Valese: COCOS: a typicality based COncept COmbination System;
    • Gian Luca Pozzato: On Probabilities of Exceptions in Description Logics of Typicality.

Session 4: Languages and Applications

Saturday, 9:10 – 10:30. Chair: Fabio Fioravanti

  1. Laura Pandolfo, Luca Pulina and Marek Zieliński: ARKIVO: an Ontology for Describing Archival Resources.
  2. Stefania Costantini, Abeer Dyoub and Valentina Pitoni: Reflection and Introspection for Humanized Intelligent Agents.
  3. Alessandro Dal Palù, Agostino Dovier and Andrea Formisano: 2D object reconstruction with ASP.
  4. Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello and Fabrizio Riguzzi: A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning.

Session 5: Temporal reasoning

Saturday, 11:00 – 12:20. Chair: Federico Chesani

  1. Stefania Costantini and Giovanni De Gasperis: Dynamic Goal Decomposition and Planning in MAS for Highly Changing Environments.
  2. Marco Gavanelli, Alessandro Passantino and Guido Sciavicco: Deciding the Consistency of Branching Time Interval Networks.
  3. Pietro Sala: An algorithm for verifying Approximate Pure Evolving Functional Dependencies.
  4. Alessandro Artale, Marco Montali and Wil van der Aalst: Modeling and Reasoning over Declarative Data-Aware Processes: The Object-Centric Behavioral Constraint Approach.