| 9:00 - 9:30 | Coffee Starter |
| 9:30 - 10:30 | Ekaterina Auer Towards Explainable and Fair Uncertainty Modeling in Healthcare via Set-Based Methods |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 11:30 | Pieter Collins Verified Verification: Interval Methods in Proof Assistants |
| 11:30 - 12:00 | Andreas Rauh A Comparison between the Theorem of Ehlich and Zeller and Polytopic Uncertainty Representations for the Development of Interval Observers |
| 12:00 - 12:30 | Daniel Wilczak Global changes in the structure of maximal invariant sets |
| 12:30 - 14:00 | Lunch break |
| 14:00 - 15:00 | Coffee Table Discussions |
| 15:00 - 17:00 | Excursion to Solaris Centre |
| 17:00 - | Optional activity for all: Option A: informal sightseeing in the city centre and later maybe a beer together Option B: a walk to nearby Zakrzówek and Skałki Twardowskiego Rocks |
| 9:00 - 9:30 | Coffee Starter |
| 9:30 - 10:30 | Piotr Zgliczyński Rigorous integration of dissipative PDEs with periodic boundary conditions |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 11:30 | Darina Serogina Existence of a periodic orbit in pseudospectral projection of Cubic Ikeda |
| 11:30 - 12:00 | Andreas Rauh Parameterization Approaches for Luenberger-Type Contractors in Set-Based State Estimation |
| 12:00 - 12:30 | Jakub Czwórnóg A homoclinic connection to a vertical Lyapunov orbit in the Sun-Jupiter system: a computer-assisted proof |
| 12:30 - 13:00 | Jakub Kural Implicit Taylor Series Method for Delay Differential Equations |
| 13:00 - 13:10 | Official Closing |
| 13:10 - 14:30 | Lunch break and goodbye coffee |