Sixth International Taylor Model Methods Workshop

Following the tradition of the Taylor Model Methods Workshops in Miami, Boca Raton, and Toronto, we are organizing the sixth meeting in this series. It is scheduled to take place May 25-28, 2009, at Universität Karlsruhe, Germany.

Topics

  • High-Order Methods
  • Verification & Taylor Models
  • Automatic Differentiation
  • Differential Algebraic Tools

and their use for
  • ODE and PDE solvers
  • Dynamical Systems
  • Global Optimization
  • Constraint Satisfaction
  • Beam Physics
  • Solar System Dynamics