Taylor Model Methods VII

December 14 — 17, 2011 in Key West, Florida


Following the tradition of the Taylor Model Methods Workshops in Miami, Boca Raton, Toronto, and Karlsruhe, we are organizing the seventh meeting in this series. It is scheduled to take place December 14 - 17, 2011 at the Casa Marina Hotel in Key West, Florida.

Before and after the main meeting, satellite meetings will be held.

The registration fee is $200 ($150 for students) and covers the cost of the conference as well as the conference excursion. The registration fee can be paid by credit card through our secure online payment system (preferred) or, if necessary, in cash at the conference.

Deadlines and Dates

Registration: December 5, 2011
Abstract Uploading: December 5, 2011
Meeting: December 14 - 17, 2011


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

and their use for

  • ODE and PDE solvers
  • Dynamical Systems
  • Computer Assisted Proofs
  • Global Optimization
  • Constraint Satisfaction
  • Beam Physics
  • Solar System Dynamics


Glass bottom Boat Tour to Tropical Reef

Scientific Committee

  • Kyoko Makino (MSU), Chair
  • Ken Jackson (U Toronto)
  • Markus Neher (U Karlsruhe)

Organizing Committee

  • Kyoko Makino (MSU)
  • Martin Berz (MSU)
  • Alexander Wittig (MSU)