Address: Dobra 55, room 1012

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)