Hotels and Housing
Please visit the Fields Institute Housing Resource Page for a listing of local hotels.
For more details on the thematic year, see Program Page
Informal Working Group on Validated Methods for ODEs and DAEs
Description
We will hold an informal working group on the "Validated Methods for ODEs and DAEs" at the the Fields Institute during the week of September 10-14 as part of the Thematic Year on Computational Challenges in Science and Engineering. Although this event will have lectures, the goal of this meeting is to start some new collaborations. Therefore, there will be lots of time to discuss unsolved problems.
As an informal meeting, there will be no registration fee. The Fields Institute will not be able to offer financial assistance to participants.
If you would like to participate please e-mail Ken Jackson, krj@cs.utoronto.ca. If you have a talk you would like to give, please note that in your message; abstracts are optional at this stage.
Schedule
| 09:00 to 10:00 |
Coffee, Muffins etc.
|
| 10:00 to 11:00 |
An Introduction to Validated Methods for IVPs for ODEs
Ken Jackson, University of Toronto |
| 11:00 to 11:30 |
Coffee Break
|
| 11:30 to 12:30 |
Set Arithmetic - Part 1
John Pryce, Cardiff University |
| 12:30 to 14:00 |
Lunch
|
| 14:00 to 15:00 |
Two Challenges in Interval Methods for IVPs for ODEs
Ned Nedialkov, McMaster University |
| 15:00 to 15:30 |
Coffee Break
|
| 15:30 to 16:30 |
Geometric Series Bounds for the Local Errors of Taylor Methods for ODEs
Markus Neher, Karlsruhe Institute of Technology |
| 09:00 to 10:00 |
Coffee, Muffins etc.
|
| 10:00 to 11:00 |
Taylor Model Methods
Martin Berz, Michigan State University |
| 11:00 to 11:30 |
Coffee Break
|
| 12:30 to 14:00 |
Lunch
|
| 14:00 to 15:00 |
Shadowing Numerical Solutions of Ordinary Differential Equations with Applications
Wayne Hayes, University of Toronto |
| 15:00 to 15:30 |
Coffee Break
|
| 15:30 to 16:30 |
Validated ODE Integration of Taylor Models and Examples
Kyoko Makino, Michigan State University |
| 09:00 to 10:00 |
Coffee, Muffins etc.
|
| 10:00 to 11:00 |
Integration of Near-Earth-Asteroids and Guaranteed Enclosures of Future Positions
Jens Hoefkens, Michigan State University |
| 11:00 to 11:30 |
Coffee Break
|
| 11:30 to 12:30 |
On the Existence Theorems of Kantorovich, Moore and Miranda
Goetz Alefeld, Karlsruhe Institute of Technology |
| 12:30 to 14:00 |
Lunch
|
| 14:00 to 15:00 |
Set Arithmetic - Part 2
John Pryce, Cardiff University |
| 15:00 to 15:30 |
Coffee Break
|
| 09:00 to 10:00 |
Coffee, Muffins etc.
|
| 10:00 to 10:30 |
Verified Integration with Taylor Models - The Linear Case
Martin Berz, Michigan State University |
| 10:30 to 11:00 |
Verified Integration with Taylor Models - Nonlinear Examples
Kyoko Makino, Michigan State University |
| 11:00 to 12:00 |
Coffee Break
|
| 12:00 to 14:00 |
Lunch
|
| 14:00 to 15:00 |
Verified solution of Differential Algebraic Equations
Jens Hoefkens, Michigan State University |
| 09:00 to 10:00 |
Coffee, Muffins etc.
|
| 10:00 to 10:30 |
Inversion, Hamiltonian Systems and Control Theory
Jens Hoefkens, Michigan State University |
| 10:30 to 11:00 |
Dependency Free Range Bounding
Kyoko Makino, Michigan State University |
| 11:00 to 11:30 |
Coffee Break
|
| 11:30 to 12:30 |
A brief discussion of a paper of Pascal Van Hentenryck
George Corliss, Marquette University |
| 12:30 to 14:00 |
Lunch
|
| 14:00 to 15:00 |
A brief discussion of some recent work on Automatic Differentiation
John Pryce, Cardiff University |
| 15:00 to 15:30 |
Coffee Break
|
