COCOS 2003: Lausanne, Switzerland

• Yahia Lebbah, Claude Michel, Michel Rueher:
  Efficient Pruning Technique Based on Linear Relaxations. 1-14
  
• Bertrand Neveu, Christophe Jermann, Gilles Trombettoni:
  Inter-block Backtracking: Exploiting the Structure in Continuous CSPs. 15-30
  
• Jürgen Garloff, Laurent Granvilliers, Andrew P. Smith:
  Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums. 31-45
  
• John N. Hooker:
  Convex Programming Methods for Global Optimization. 46-60
  
• Nitin Lamba, Mark Dietz, Daniel P. Johnson, Mark S. Boddy:
  A Method for Global Optimization of Large Systems of Quadratic Constraints. 61-70
  
• Jürgen Garloff, Andrew P. Smith:
  A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials. 71-85
  
• Alexander Kleymenov, Alexander Semenov:
  Using a Cooperative Solving Approach to Global Optimization Problems. 86-100
  
• Rúbia M. Oliveira, Paulo A. V. Ferreira:
  Global Optimization of Convex Multiplicative Programs by Duality Theory. 101-111
  
• Daniele Peri, Emilio F. Campana:
  High-Fidelity Models in Global Optimization. 112-126
  
• Cyril Drocourt, Laurent Delahoche, Eric Brassart, Bruno Marhic, Arnaud Clerentin:
  Incremental Construction of the Robot's Environmental Map Using Interval Analysis. 127-141
  
• Fabien Lydoire, Philippe Poignet:
  Nonlinear Predictive Control Using Constraints Satisfaction. 142-153
  
• Alexandru Stancu, Vicenç Puig, Joseba Quevedo:
  Gas Turbine Model-Based Robust Fault Detection Using a Forward - Backward Test. 154-170
  
• Alexandru Stancu, Vicenç Puig, Pep Cugueró, Joseba Quevedo:
  Benchmarking on Approaches to Interval Observation Applied to Robust Fault Detection. 171-191