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