The workshop will emphasize dynamical aspect of verification methods. The second day will consist of invited talks. All talks will be in tutorial format and informal discussions between participants will be encouraged throughout the two days. This is the fifth of a series of annual workshops held in Belgium on topics related to dynamical systems. There are no registration fees.
Registration is by email.
The closing date for registrations is July 1, 2001. The workshop will be held in the main building of the Belgium Royal Academy of Sciences. The academy is located in central Brussels, at walking distance from most facilities. Friday May 11th 3 p.m. We first examine the globalization of an interior-point method using trust regions, give its convergence properties and illustrate the results with numerical experiments on quadratic programming problems.