| Monday, May 25 | ||
| 4.00 pm | Welcome reception (until 6.00 pm)
|
|
| Tuesday, May 26 | ||
| 9.00 am | Y. Yomdin: Reconstruction of Taylor data from measurements | |
| 9.45 am | M. Neher: Introduction to Taylor model methods | |
| 10.30 am | Coffee break | |
| 11.00 am | I. Charpentier: The Rapsodia tool for fast higher-order derivative tensor computations | |
| 11.45 am | I. Elkhaldi: Sensitivity analysis and optimization of solutions computed through the ANM | |
| 12.30 pm | Lunch break | |
| 2.00 pm | J. Pryce: Recent advances in the DAETS differential-algebraic equation solver (tentative title) | |
| 2.45 pm | A. Eggers: Application of constraint solving and ODE enclosure methods
to the analysis of hybrid systems
|
|
| Wednesday, May 27 | ||
| 9.00 am | Mioara Joldes: Certified and fast computation of supremum norms of approximation errors | |
| 9.45 am | A. Wittig: Implementation of a global, rigorous fixed point finder (tentative title) | |
| 10.30 am | Coffee break | |
| 11.00 am | M. Neher: Taylor model methods vs. interval methods for ODEs: Similarities and distinctions | |
| 11.45 am | Lunch break | |
| 1.30 pm | M. Berz: Taylor model based methods for ODEs | |
| 2.15 pm | K. Makino: Taylor model based optimization | |
| 3.00 pm | Coffee break | |
| 3.30 pm | A. Ovsyannikov: On control models construction in Tokamaks | |
| 4.15 pm | R. Jagasia: Survey of FORTRAN compiler options and their impact on COSY INFINITY (tentative title) | |
| 5.00 pm | Excursion: Guided tour of Karlsruhe-Durlach and conference dinner
|
|
| Thursday, May 28 | ||
| 9.00 am | J. Olympio: Introduction to NEO impact's detection and mitigation techniques. Challenges and state of the art. | |
| 9.45 am | R. Armellin: Predicting Apophis' Earth encounter in 2029 using differential algebra and Taylor models: Part 1 | |
| 10.30 am | Coffee break | |
| 11.00 am | P. Di Lizia: Predicting Apophis' Earth encounter in 2029 using differential algebra and Taylor models: Part 2 | |
| 11.45 am | Closing session |