Tuesday, May 21

MS22
Interval Methods in Optimization: I

10:30 AM - 1:00 PM
Room: Pier 7 & 8

For Part II, see MS40

The two suggested minisymposia cover algorithmic improvements on interval arithmetic based optimization techniques. The addressed problem set is global optimization, where verified solution is necessary. The talks summarize results on several aspects of the related methods, and application fields.

Purpose: to discuss the state of the art in verified techniques of nonlinear optimization.

Audience: The anticipated audience is researchers interested in verified nonlinear optimization.

Organizer: Tibor Csendes
University of Szeged, Hungary
R. Baker Kearfott
University of Louisiana, Lafayette

10:30-10:55 A New Interval Selection Technique for Global Optimization

Tibor Csendes, University of Szeged, Hungary

11:00-11:25 Interval Analysis on DAGs for Global Optimization I

Arnold Neumaier and Hermann Schichl, University of Vienna, Austria

11:30-11:55 Interval Analysis on DAGs for Global Optimization II

Hermann Schichl and Arnold Neumaier, University of Vienna, Austria

12:00-12:25 Tight Range Enclosures with Taylor Model Methods

Kyoko Makino, University of Illinois at Urbana-Champaign

12:30-12:55 Reliable and Accurate Solutions of Linear and Nonlinear Systems

Nathalie Revol, Ecole Normale Superieure de Lyon, France