THEMATIC PROGRAMS

October 30, 2014

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