1 Table of Contents: “... -- Developing Expert Systems for Validating Numerics -- Computation of Interval Bounds for Weierstrass’ Elliptic...”

2 “..., and Validated Numerics and Interval 2000, the International Conference on Interval Methods in Science...”

3

4

5 Table of Contents: “...-Periodic Systems: From Rigorous Results to Validated Numerics -- The Parameterization Method in KAM Theory...”

6 Table of Contents: “... Rodriguez Hertz -- A dynamical approach to validated numerics / O. Jenkinson and M. Pollicott -- Non...”

7 “... and Validated Numerics, takes place bian­ nually under the joint auspices of GAMM (Gesellschaft fiir Angewandte...”

8 Table of Contents: “... Interpretation of Supermodular Games -- Validating Numerical Semidefinite Programming Solvers for Polynomial...”

9 Table of Contents: “... Text Fields; Validating Numeric Data; Using Check Boxes; Using Radio Buttons; Looking at a Pizza Order...”

10 Table of Contents: “... (Québec, Canada) -- Using Dendrochronology to Validate Numerical Simulations of Snow Avalanches...”

11 Table of Contents: “... Validation -- Numerical Modeling of Combustible Dusty Gas Mixture Flow -- Computation of the 3D Turbulent...”

12 “... used to visualize cardiac flows and validate numerical models are detailed, paying special attention...”

13 “... to validate numerical model results. Wind Doppler lidar mounted on aircraft used for observing winds...”

14 “... because of their value in clarifying equilibria and in leading one quickly to valid numerical...”

15 “... and districtsbased on instrumented field study, validated numerical simulation, and spatial analysis using a GIS...”

16 “... validated numerical model, it presents a sensitivity analysis of the hygrothermal behaviour of façades...”

17 “.... The second theme is that whenever possible one should validate numerical with experimental data. The volume...”

18