| 10:30–12:00 |
Invited Talk: Semenov arithmetic, VASS and word equations, Christoph Haase |
| 12:00–14:00 |
Lunch Break |
| 14:00–14:20 |
Geometry of VAS reachability sets, Roland Guttenberg (slides) |
| 14:20–14:40 |
The complexity of soundness in workflow nets, Philip Offtermatt (slides) |
| 14:40–15:00 |
Orbit-finite systems of linear equations, Arka Ghosh (slides) |
| 15:00–15:20 |
Petri Net Unfolding Semantics for Systems of Nature, Giann Karlo Aguirre-Samboní (slides) |
| 15:20–16:00 |
Coffee Break |
| 16:00–16:20 |
Fairness and promptness for Muller formulas, Léo Tible, Youssouf Oualhadj and Daniele Varacca (slides) |
| 16:20–16:40 |
Logical Characterization of Hereditary History-preserving Bisimulation over Higher Dimensional Automata, Safa Zouari (slides) |
| 16:40–17:00 |
Deciding What is Good-for-MDPs, Tansholpan Zhanabekova, Sven Schewe and Qiyi Tang |
| 17:00–17:20 |
Fast and Succinct Population Protocols for Presburger Arithmetic, Philipp Czerner, Roland Guttenberg, Martin Helfrich and Javier Esparza (slides) |
| 17:20–18:00 |
Open Problem Session (open problems, Problem 1 by Piotr Hofman) |