| 10:30-12:00 | Invited Talk: Semenov arithmetic, VASS and word equations, Christoph Haase |
| 12:00-14:00 | Lunch Break |
| 14:00-14:20 | Semilinear Homespace Problem, Roland Guttenberg |
| 14:20-14:40 | The complexity of soundness in workflow nets, Philip Offtermatt |
| 14:40-15:00 | Orbit-finite systems of linear equations, Arka Ghosh |
| 15:00-15:20 | Petri Net Unfolding Semantics for Systems of Nature, Giann Karlo Aguirre-Samboní |
| 15:20-16:00 | Coffee Break |
| 16:00-16:20 | Fairness and promptness for Muller formulas, Léo Tible, Youssouf Oualhadj and Daniele Varacca |
| 16:20-16:40 | Logical Characterization of Hereditary History-preserving Bisimulation over Higher Dimensional Automata, Safa Zouari |
| 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 |
| 17:20-18:00 | Open Problem Session |