| Tuesday, September 1st |
| 07:30 – 08:30 |
Breakfast |
| 09:00 – 09:20 |
Opening chaired by AndreA Orlandini and Sophie Pinchinat |
| 09:30 – 10:30 |
Keynote talk: The Temporal Logic of Flight
Prof. Kristin-Yvonne Rozier, Dennis and Rebecca Muilenburg Professor, Iowa State, USA University
Hosted by AndreA Orlandini |
| 10:30 – 11:00 |
Coffee Break |
| 11:00 – 12:00 |
Session 1 (Chair: TBA)
- Revisiting the Expressiveness of Metric Temporal Logic — Mohammed Foughali
- Core Fragments of Compass Logic — Pietro Casavecchia, Guido Sciavicco and Leonardo Serrentino
|
| 12:00 – 13:00 |
Lunch |
| 13:00 – 14:30 |
Session 2 (Chair: Guido Sciavicco)
- The Σ-Chain Product: A Succinct Model of Automata (De)Composition — Roberto Borelli, Davide Bresolin, Luca Geatti, Angelo Montanari, Matteo Zavatteri
- Discrete Linear Ensemble Logic: Decidability, Expressiveness, and Axiomatization — Guo-Qiang Zhang and Manfred Droste
- Towards Reactive Synthesis for First-Order Linear Temporal Logic — Nicola Gigante
|
| 14:30 – 15:00 |
Coffee Break |
| 15:00 – 16:00 |
Session 3 (Chair: Nicola Gigante)
- Social Networks Through Time: Completeness of Temporal Network Logic — Saúl Fernández González, Mina Young Pedersen and Sonja Smets
- Querying Interval-Based Temporal Data with SPARQL — Julien Corman, Roman Kontchakov and Cem Okulmus
|
| 16:00 – 17:30 |
Open Session (Chair: TBA)
A session where attendees may present open problems and/or specific challenges to be shared and discussed. An opportunity to trigger new collaborations. |
| 18:00 – 20:00 |
DX and TIME Welcome Reception chaired by the DX’26 and TIME’26 chairs Gregory Provan, Marina Zanella, AndreA Orlandini and Ingo Pill |
Wednesday, September 2nd (Joint TIME/DX Sessions) |
| 07:30 – 08:30 |
Breakfast |
| 09:00 – 10:30 |
Keynote Talk: From Runtime Verification to Model Based Diagnosis
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Hosted by Ingo Pill and AndreA Orlandini |
| 10:30 – 11:00 |
Coffee Break |
| 11:00 – 12:00 |
Joint Paper Session 1 (Chair: Ingo Pill)
- Planning Domain Repair using Preferred Plans and Background Knowledge — Thomas Eckstein and Gerald Steinbauer
- Reinforcement Learning-Driven Predictive Maintenance Planning via Timed Automata Modeling — Ferhat Tamssaouet, Pauline Ribot and Yannick Pencolé
|
| 12:00 – 13:00 |
Lunch |
| 13:00 – 14:30 |
Joint Paper Session 2 (Chair: AndreA Orlandini)
- A Multi-Scale Process for Mining and Abstracting Environmental Spatiotemporal Graphs — Assaad Zeghina, Aurélie Leborgne, Florence Le Ber and Antoine Vacavant
- The Satisfiability Problem of Temporal-Spatial Logics over Quasi-Temporal Graphs — Eric Alsmann, Martin Lange and Igor Semezies
- Dynamic Quantitative Skill Distribution in Multi-Agent Temporal Planning as SMT — Josselin Guéneron and Frédéric Maris
|
| 14:30 – 15:00 |
Organization for transport to Kinsale |
| 15:00 – 18:00 |
Social Event: Kinsale Tour (Chair: Gregory Provan) |
| 18:00 – 21:30 |
Gala Dinner |
| Thursday, September 3rd |
| 07:30 – 08:30 |
Breakfast |
| 09:00 – 10:30 |
Session 4 (Chair: Martin Lange)
- A Formal Model for Forensically Sound Timestamp Normalization — Lorenz Hornung, Carly Bakker, Bouke Timbermont, Roel van Dijk, Harm van Beek and Natasha Alechina
- Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories — Till Hofmann, Stefan Schupp and Gerhard Lakemeyer
- Earth Observation Satellite Constellation Planning and Scheduling with Matheuristics and Metaheuristics Combination — Romain Barrault, Cédric Pralet, Gauthier Picard and Eric Sawyer
|
| 10:30 – 11:00 |
Coffee Break |
| 11:00 – 12:00 |
Session 5 (Chair: Mohammed Foughali)
- Multi-Agent Path Finding with Tasks under Time Uncertainty — Ajdin Sumic, Alexandre Albore, Noëlie Ramuzat and Grand Christophe
- A Unified Framework for Runtime Verification and Model-Based Diagnosis in Lola — Raik Hipler, Martin Leucker and Patrick Rodler
|
| 12:00 – 13:00 |
Lunch |
| 13:00 – 14:00 |
Closing remarks chaired by AndreA Orlandini |
| 14:00 – 15:00 |
Departure |
