Schedule
Tuesday, May 20
| 8:30 | Breakfast, Registration | ||
| Chair: Ken Jackson | |||
| 9:30 |
Opening Remarks: Ken Jackson, Conference Chair and Organizer Barbara Keyfitz, Director, Fields Institute Judith Munn, Workshop Program Coordinator |
||
| 9:45 |
Martin Berz Taylor Model Methods - Introduction and Overview | Abstract | Talk |
| 10:30 | Coffee Break | ||
| 11:00 |
Sheldon Newhouse Numerical and Rigorous Aspects of Low Dimensional Dynamical Systems | Abstract | Talk |
| 12:00 | Lunch | ||
| Chair: Markus Neher | |||
| 14:00 |
Johannes Grote Rigorous Classification of Manifold Tangles and Bounds for Entropy | Abstract | Talk |
| 14:30 |
Yosef Yomdin Some High-Order Taylor-Model Based Methods for Solving PDEs | Abstract | Talk |
| 15:00 | Coffee Break | ||
| 15:30 |
Gianni Arioli A Functional Analysis Approach to Computer Assisted Proofs based on Taylor Expansions | Abstract | Talk |
Wednesday, May 21
| Chair: Martin Berz | |||
| 9:00 |
Roberto Armellin Rigorous Global Optimization of Impulsive Planet to Planet Transfers | Abstract | Talk |
| 9:45 |
John Pryce DAETS: A Differential-Algebraic Equation Code in C++ for High Index and High Accuracy | Abstract | Talk |
| 10:30 | Coffee Break | ||
| 11:00 |
Pierluigi DiLizia High Order Integration and Sensitivity Analysis of Differential Algebraic Equations using Differential Algebra | Abstract | Talk |
| 11:30 |
Pierluigi DiLizia Station Keeping around Halo Orbits using Differential Algebra | Abstract | Talk |
| 12:00 | Lunch | ||
| Chair: Kyoko Makino | |||
| 14:00 |
Martin Berz New Algorithms for Efficient Taylor Model Operations Including Arbitrary Precision | Abstract | Talk |
| 14:30 |
Youn-Kyung Kim A High Order Method for Computations of Rigorous Lower Bounds of Smooth Functions near Local Minimizers | Abstract | Talk |
| 15:00 | Coffee Break | ||
| 15:30 |
Nathalie Revol Automatic Adaptation of the Computing Precision | Abstract | Talk |
Thursday, May 22
| Chair: Ned Nedialkov | |||
| 9:00 |
Markus Neher On the Blunting Method in Verified Integration of ODEs | Abstract | Talk |
| 9:45 |
Kyoko Makino Recent Advances in the Rigorous Integration of Flows of ODEs with Taylor Models | Abstract | Talk |
| 10:30 | Coffee Break | ||
| 11:00 |
Alexander Wittig Computer Assisted Proof of High Period Fixed Points in the Henon Map | Abstract | Talk |
| 11:30 |
Roland Zumkeller Machine Checkable Correctness Proofs | Abstract | Talk |
| 12:00 | Lunch | ||
| 13:00 | Excursion (Niagara Falls etc.) | ||
Friday, May 23
| Chair: Sheldon Newhouse | |||
| 9:00 |
Akitoshi Kawamura Complexity Theoretic Barriers to Validated Solutions of Initial Value Problems | Abstract | Talk |
| 9:30 |
Abedallah Rababah Hermite Approximation with High Accuracy for Space Curves in Rd | Abstract | Talk |
| 10:30 | Coffee Break | ||
| 11:00 |
John Pryce On the Ilie-Corless Polynomial Complexity Proof | Abstract | Talk |
The missing talks will be added as soon as the speaker hands his slides to me.
