| 9:00 - 9:30 | Welcome Coffee & Openning |
| 9:30 - 10:30 | Nathalie Revol Computing precision and interval algorithms |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 11:30 | Luc Jaulin A (max, +) based interval contractor for swarm localization |
| 11:30 - 12:00 | Christoph Spandl Numerical Integration with Lie-Series and Result Verification |
| 12:00 - 12:30 | Marit Lahme Information fusion enhanced state estimation for a class of nonlinear dynamical systems with unmodeled nonlinearities |
| 12:30 - 14:00 | Lunch break |
| 14:00 - 14:30 | Clara Gondot Characterizing indistinguishability sets in case of outliers |
| 14:30 - 15:00 | Małgorzata Moczurad Rigorous Computation of Central Configurations via Interval Methods |
| 15:00 - 15:30 | Łukasz Derwisz Trajectory-based search for periodic orbit in a memristive circuit and verification of their existence using interval methods |
| 15:30 - 16:00 | Coffee break |
| 16:00 - 16:30 | Guillaume Garde Passive and Static Localization of an Electromagnetic Source using Interval Methods |
| 16:30 - 17:00 | Łukasz Gorczyca SHIELD: Interval Bound Propagation for Certifiably Robust Continual Learning |
| 17:00 - 17:30 | Mateusz Sas Interval Methods in Surface Intersection Algorithms |
| 17:30 - 18:00 | Coffee break |
| 18:00 - 21:00 | Welcome reception |
| 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 | Jakub Banaśkiewicz Rigorous C^0 and C^1 Computations for Dissipative PDEs |
| 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 - 14:00 | Lunch break |
| 14:00 - 14:30 | Jakub Kural Implicit Taylor Series Method for Delay Differential Equations |
| 14:30 - 15:00 | Darina Serogina Existence of a periodic orbit in pseudospectral projection of Cubic Ikeda |
| 15:00 - 16:00 | Official Closing & coffee |