23 September24 September25 September

Proceedings: Accessible at https://www.dagstuhl.de/dagpub/978-3-95977-167-2

Talks: 15+5 minutes

23 September

Time (CEST)EventAuthor
10:45 – 11:00Opening CeremonyE. Muñoz Velasco, A. Ozaki, M. Theobald
11:00 – 12:00Invited 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:00TESL: a Model with Metric Time for Modeling
and Simulation
Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
13:00 – 14:20Lunch Break
Session II (Temporal Constraints)Chair: Marco Franceschetti
Zoom host: Alessandro Artale
14:20 – 14:40Non-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:00Window-slicing Techniques Extended to Spanning-event Streams (slides)Aurélie Suzanne, Guillaume Raschia, José Martinez, Damien Tassetti
15:00 – 15:20Break
Session I
(Logic, Complexity and Decidability)
Chair: Guido Sciavicco
Zoom host: Alessandro Artale
15:20 – 15:40Recursive Temporal LogicFlorian Bruse, Martin Lange
15:40 – 16:00Parametric Model Checking Continuous-Time Markov ChainsCatalin-Andrei Ilie, James Worrell
16:00 – 16:20Complexity of qualitative timeline-based planningDario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari

24 September

Time (CEST)EventAuthor
11:00 – 12:00Invited Talk: Time and Business Process Management: Problems, Achievements, ChallengesChair & Zoom host: Ana Ozaki

Johann Eder
12:00 – 12:20Break
Session II
(Logic, Complexity and Decidability)
Chair: Nicola Gigante
Zoom host: Ana Ozaki
12:20 – 12:40A note on C2 interpreted over finite data-wordsBartosz Bednarczyk, Piotr Witkowski
12:40 – 13:00On the Decidability of a Fragment of Preferential LTLAnasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak
13:00 – 14:20Lunch Break
Session I (Data Mining)Chair & Zoom host: Martin Theobald
14:20 – 14:40Knowledge Extraction with Interval Temporal Logic Decision Trees (slides)Ionel Eduard Stan, Guido Sciavicco
14:40 – 15:00Mining Significant Temporal Networks is PolynomialGuido 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:15Break
16:15 – 17:00Business meetingChair: Angelo Montanari

25 September

Time (CEST)EventAuthor
11:00 – 12:00Invited Talk: Verifying Autonomous Robots: Challenges and Reflections (slides)Chair: Martin Theobald
Zoom host: Alessandro Artale

Clare Dixon
12:00 – 12:10Break
Session I (Branching Time)Chair: Anasse Chafik
Zoom host: Alessandro Artale
12:10 – 12:30Dynamic Branching in Qualitative Constraint Networks via Counting Local Models (slides)Michael Sioutis, Diedrich Wolter
12:30 – 12:50The Horn Fragment of Branching AlgebraAlessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani
12:50 – 13:10One-pass Context-based Tableaux Systems for CTL and ECTL (slides)Alexander Bolotov, Paqui Lucio, Montserrat Hermo, Alex Abuin Yepes
13:10 – 13:20ClosingE. Muñoz Velasco, A. Ozaki, M. Theobald