| DAY | TIME | SPEAKER | TALK TITLE |
| Sunday | 9.30am | ||
| 2pm | Ranko Lazic | Petri Nets Reach- ability Problem | |
| 4pm | Jean-Baptiste Jeannin | Implicit and Explicit Formulations of Safety Buffers along Trajectories | |
| Monday | 9.30am | Maria Bruna | Multi-scale modeling of interacting particle systems |
| 2pm | Michael Cadilhac | The equivalence of cost register automata is un- decidable, even in very weak settings | |
| 4pm | Christian Ikenmeyer | Open problems in algebraic and geometric complexity theory | |
| Tuesday | 9.30am | Grant Rotskoff | Neural networks, interacting particle systems, and convergence of optimization dynamics |
| 2pm | Engel Lefaucheux | Skolem meets Riemann | |
| 4pm | Benjamin Kaminski | Aiming Low Is Harder-Induction Rules for Lower Bounds on Weakest Preexpectations | |
| Wednesday | 9.30am | Joël Ouaknine | Invariants for linear systems |
| 2pm Excursion | |||
| Thursday | 9.30am | Reino Niskanen | On relative decidability of synchronous and recognizable relations |
| 2pm | Toni Hotanen | Entropy for endomorphisms of measure- preserving dynamical systems | |
| 4pm | Richard Mayr | Markov Decision Processes and Stochastic Games on Infinite Arenas | |
| Friday | 9am | George Kenison | Skolem’s Problem and prime powers |
| 11am | Peter Tapio | Intersections of art and science – towards voyeurist math |
