| Time | DAY 1 - 15 September |
|---|---|
| 09:00–09:30 | Registration |
| 09:30–10:30 | Invited talk – Rule-guided Explainable Testing and Improvement of Deep Reinforcement Learning Policies Ezio Bartocci |
| 10:30–11:00 | Coffee Break |
| 11:00–12:00 | A Topological Framework for Finite Behavioural Observations and Verification Antonis Achilleos and Vasiliki Kyriakou Execution-Time Opacity in (Controllable) Timed Automata is hard Sarah Dépernet and Engel Lefaucheux |
| 12:00–13:30 | Lunch + Coffee Break |
| 13:30–14:30 | Antichains for Concurrent Parameterized Games Nathalie Bertrand, Patricia Bouyer and Gaëtan Staquet Representation theorems for actual powers over two-agent general concurrent game frames Zixuan Chen, Fengkui Ju and Thomas Agotnes |
| 14:30–15:00 | Coffee Break |
| 15:00–16:00 | Rabin Games Revisited Antonio Di Stasio and Moshe Vardi Lasso Games Krzysztof Żyndul |
| Time | DAY 2 - 16 September |
|---|---|
| 09:30–10:30 | Invited talk – Game-based Model-checking of Hyperproperties Sarah Winter |
| 10:30–11:00 | Coffee Break |
| 11:00–12:00 | The Complexity of Asynchronous HyperLTL Gaëtan Regaud and Martin Zimmermann Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents Tim Lyon and Lukas Zenger |
| 12:00–13:30 | Lunch + Coffee Break |
| 15:00–22:00 | Social Program |
| Time | DAY 3 - 17 September | |
|---|---|---|
| 09:30–10:30 | Invited talk – Wheeler Automata: a Tutorial Nicola Cotumaccio |
|
| 10:30–11:00 | Coffee Break | |
| 11:00–12:00 | New Translations From LTL with Past to LDBA and DPA David Lidell and Nir Piterman Nondeterministic Automata have Outerplanar State Graphs Mario Grobler, Till Koziel and Sebastian Siebertz |
|
| 12:00–13:30 | Lunch + Coffee Break | |
| 13:30–14:30 | Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents Tim Lyon and Omar Taher Capturing Bisimulation-Invariant Exponential-Space Complexity Classes Florian Bruse, David Kronenberger and Martin Lange |
|
| 14:30–15:00 | Closing (with Coffee Break) |
GandALF 2026 will feature two social activities, offering participants the opportunity to explore Aalborg and enjoy an evening together outside the technical programme.
Duration: 15:00-16:30
We will visit the Lindholm Høje Viking Museum, located just outside the city centre. The museum offers a glimpse into Viking Age life in the Aalborg area, with archaeological exhibits and the nearby historic Viking burial site.
Duration: 18:00-22:00
In the evening, we will gather for the GandALF 2026 social dinner at
Musikkens Hus (House of Music), Aalborg's iconic concert hall overlooking the Limfjord.
The evening will provide an opportunity to enjoy good food and continue
conversations with fellow participants in a more informal setting.
Doors open at 18:00, with dinner starting at 18:30.