THEMATIC PROGRAMS

Numerical and Computational Challenges in Science and Engineering

Informal Working Group on Validated Methods for ODEs and DAEs
September 10 - 14, 2001

Organizer: Ken Jackson (University Toronto)

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

Monday Sept. 10

9:00-10:00	Coffee, Muffins etc.
10:00-11:00	Ken Jackson An Introduction to Validated Methods for IVPs for ODEs
11:00-11:30	Coffee Break
11:30-12:30	John Pryce Set Arithmetic - Part 1
12:30-2:00	Lunch
2:00-3:00	Ned Nedialkov Two Challenges in Interval Methods for IVPs for ODEs
3:00-3:30	Coffee Break
3:30-4:30	Markus Neher Geometric Series Bounds for the Local Errors of Taylor Methods for ODEs

Tuesday Sept. 11

9:00-10:00	Coffee, Muffins etc.
10:00-11:00	Martin Berz Taylor Model Methods
11:00-11:30	Coffee Break
11:30-12:30	postponed talks
12:30-2:00	Lunch
2:00-3:00	Wayne Hayes Shadowing Numerical Solutions of Ordinary Differential Equations with Applications
3:00-3:30	Coffee Break
3:30-4:30	Kyoko Makino Validated ODE Integration of Taylor Models and Examples

Wednesday Sept. 12

9:00-10:00	Coffee, Muffins etc.
10:00-11:00	Jens Hoefkens Integration of Near-Earth-Asteroids and Guaranteed Enclosures of Future Positions
11:00-11:30	Coffee Break
11:30-12:30	Goetz Alefeld On the Existence Theorems of Kantorovich, Moore and Miranda
12:30-2:00	Lunch
2:00-3:00	John Pryce Set Arithmetic - Part 2
3:00-3:30	Coffee Break

Thursday Sept. 13

9:00-10:00	Coffee, Muffins etc.
10:00-10:30	Martin Berz Verified Integration with Taylor Models - The Linear Case
10:30-11:00	Kyoko Makino Verified Integration with Taylor Models - Nonlinear Examples
11:00-12:00	Coffee Break and Discussion
12:00-2:00	Lunch
2:00-3:00	Jens Hoefkens Verified solution of Differential Algebraic Equations

Friday Sept. 14

9:00-10:00	Coffee, Muffins etc.
10:00-10:30	Jens Hoefkens Inversion, Hamiltonian Systems and Control Theory
10:30-11:00	Kyoko Makino Dependency Free Range Bounding
11:00-11:30	Coffee Break
11:30-12:30	George Corliss, A brief discussion of a paper of Pascal Van Hentenryck
12:30-2:00	Lunch
2:00-3:00	John Pryce A brief discussion of some recent work on Automatic Differentiation
3:00-3:30	Coffee Break

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

Back to top