Saturday, May 25

Session SPB

3:30 PM - 5:30 PM
Room B

Chair:

3:30-4:00 Towards Validated Global Optimal Control

B. Christianson, University of Hertfordshire, Hatfield, England

Extended abstract in PostScript and pdf

4:00-4:30 Kite: A New Inclusion Function for Optimization

T. Vinko, University of Szeged, Hungary, J.-L. Lagouanelle, Institut de Recherche en Informatique de Toulouse, France, and T. Csendes, University of Szeged, Hungary

Extended abstract in PostScript and pdf

4:30-5:00 Ontologies for Continuous Global Optimization

L. Granvilliers, and M. Ouabiba, University of Nantes, France

Extended abstract in PostScript and pdf

5:00-5:30 Exclusion Regions for Systems of Equations

A. Neumaier and H. Schichl, University of Vienna

click here for the presentation