23 September • 24 September • 25 September
Proceedings: Accessible at https://www.dagstuhl.de/dagpub/978-3-95977-167-2
Talks: 15+5 minutes
23 September
| Time (CEST) | Event | Author |
|---|---|---|
| 10:45 – 11:00 | Opening Ceremony | E. Muñoz Velasco, A. Ozaki, M. Theobald |
| 11:00 – 12:00 | Invited Talk: Temporal Modalities in Answer Set Programming (slides) | Chair & Zoom host: Emilio Muñoz Velasco Pedro Cabalar |
| 12:00 – 12:20 | Break | |
| Session I (Temporal Constraints) | Chair: Ana Ozaki Zoom host: Emilio Muñoz Velasco | |
| 12:20 – 12:40 | Negotiating Temporal Commitments in Cross-Organizational Business Processes | Marco Franceschetti, Johann Eder |
| 12:40 – 13:00 | TESL: a Model with Metric Time for Modeling and Simulation | Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff |
| 13:00 – 14:20 | Lunch Break | |
| Session II (Temporal Constraints) | Chair: Marco Franceschetti Zoom host: Alessandro Artale | |
| 14:20 – 14:40 | Non-Simultaneity as a Design Constraint (slides) | Jean Guyomarc’h, François Guerret, Bilal El Mejjati, Emmanuel Ohayon, Bastien Vincke, Alain Mérigot |
| 14:40 – 15:00 | Window-slicing Techniques Extended to Spanning-event Streams (slides) | Aurélie Suzanne, Guillaume Raschia, José Martinez, Damien Tassetti |
| 15:00 – 15:20 | Break | |
| Session I (Logic, Complexity and Decidability) | Chair: Guido Sciavicco Zoom host: Alessandro Artale | |
| 15:20 – 15:40 | Recursive Temporal Logic | Florian Bruse, Martin Lange |
| 15:40 – 16:00 | Parametric Model Checking Continuous-Time Markov Chains | Catalin-Andrei Ilie, James Worrell |
| 16:00 – 16:20 | Complexity of qualitative timeline-based planning | Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari |
24 September
| Time (CEST) | Event | Author |
|---|---|---|
| 11:00 – 12:00 | Invited Talk: Time and Business Process Management: Problems, Achievements, Challenges | Chair & Zoom host: Ana Ozaki Johann Eder |
| 12:00 – 12:20 | Break | |
| Session II (Logic, Complexity and Decidability) | Chair: Nicola Gigante Zoom host: Ana Ozaki | |
| 12:20 – 12:40 | A note on C2 interpreted over finite data-words | Bartosz Bednarczyk, Piotr Witkowski |
| 12:40 – 13:00 | On the Decidability of a Fragment of Preferential LTL | Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak |
| 13:00 – 14:20 | Lunch Break | |
| Session I (Data Mining) | Chair & Zoom host: Martin Theobald | |
| 14:20 – 14:40 | Knowledge Extraction with Interval Temporal Logic Decision Trees (slides) | Ionel Eduard Stan, Guido Sciavicco |
| 14:40 – 15:00 | Mining Significant Temporal Networks is Polynomial | Guido Sciavicco, Matteo Zavatteri, Tiziano Villa |
| 15:00 – 15:20 | Break | |
| Session I (Temporal Databases) | Chair & Zoom host: Alessandro Artale | |
| 15:20 – 15:40 | Universal Solutions in Temporal Data Exchange (slides) | Zehui Cheng, Phokion Kolaitis |
| 15:40 -16:00 | Stab-forests: Dynamic Data Structures for Efficient Temporal Query Processing (slides) | Jelle Hellings, Yuqing Wu |
| 16:00 – 16:15 | Break | |
| 16:15 – 17:00 | Business meeting | Chair: Angelo Montanari |
25 September
| Time (CEST) | Event | Author |
|---|---|---|
| 11:00 – 12:00 | Invited Talk: Verifying Autonomous Robots: Challenges and Reflections (slides) | Chair: Martin Theobald Zoom host: Alessandro Artale Clare Dixon |
| 12:00 – 12:10 | Break | |
| Session I (Branching Time) | Chair: Anasse Chafik Zoom host: Alessandro Artale | |
| 12:10 – 12:30 | Dynamic Branching in Qualitative Constraint Networks via Counting Local Models (slides) | Michael Sioutis, Diedrich Wolter |
| 12:30 – 12:50 | The Horn Fragment of Branching Algebra | Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani |
| 12:50 – 13:10 | One-pass Context-based Tableaux Systems for CTL and ECTL (slides) | Alexander Bolotov, Paqui Lucio, Montserrat Hermo, Alex Abuin Yepes |
| 13:10 – 13:20 | Closing | E. Muñoz Velasco, A. Ozaki, M. Theobald |