| 9:00 – 9:15 |
Welcome |
| 9:15 – 10:15 |
- Moshe Vardi: The Rise and fall of Linear Temporal Logic
|
|
Coffee Break |
| 10:30 – 11:30 |
- Shiguang Feng : Path-Checking for MTL and TPTL over Data Words
- Claudia Carapelle : Satisfiability of ECTL* with constraints
- Sascha Wunderlich : Weight Monitoring with Linear Temporal Logic
- Normann Decker : On an Extension of Freeze LTL Part I – Decidability
- Daniel Thoma : On an Extension of Freeze LTL: Part II – Complexity
|
|
Coffee Break |
| 11:45 – 12:45 |
- Edon Kelmendi : Two-player shift-invariant and submixing stochastic games are half-positional
- Pierre Carlier : Composition of Stochastic Timed Automata
- David Müller : Are Good-for-games Automata Good for Probabilistic Model Checking?
- Dennis Guck : Markov Reward Automata in Railway Engineering
- Yang Gao : Decision Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain
|
|
Lunch Break
|
| 14:00 – 15:00 |
|
|
Coffee Break |
| 15:20 – 16:20 |
- Jan Oliver Ringert : Extensible Support for Specification Patterns in GR(1) Synthesis — Work in Progress
- Mickael Randour : Games with Window Quantitative Objectives
- Loredana Sorrentino : On Promptness in Parity Games
- Benedikt Brütsch : Synthesizing Structured Reactive Programs via Deterministic Tree Automata
- Florian Corzilius : SMT-RAT: An SMT-Compliant Nonlinear Real and Integer Arithmetic Toolbox
|
|
Coffee Break |
| 16:40 – 17:40 |
- Dmitriy Traytel : Derivatives of WS1S Formulas
- Stephan Barth : Deciding Monadic Second Order Logic over omega-words by Specialized Finite Automata
- Simon Leßenich : A Quantitative Counting Monadic Second-Order Logic
- Sarah Winter : Uniformization of Automatic Tree Relations by Top-down Tree Transducers
- Frederic Reinhardt : Automatic Structures with Parameters
|
| 19:00 |
Optional: Guided tour through the city, Fischpüddelchen |
