Room:Plaisir ARoom:Ho-oh BInvited Plenary Talks9:00-9:45 Eric Walter and Michel Kieffer

Guaranteed Nonlinear Parameter or State Estimation for Knowledge-Based Models9:45-10:30 Thomas C. Hales

Proving Theorems in Geometry by ComputerCoffee Break Optimization IIISoftware II11:00-11:25

A Reliable Method for Verifying Structural Optimality of Circle Packing Configurations in the Unit Square

Arithmetic Data Types in Java11:25-11:50

Packing Equal Circles in a Square - Bounds, Repeated Patterns and Minimal Polynomials

Computing A-Priori Error Bounds for Floating-Point Evaluations of Arithmetical Expressions11:50-12:15

Enclosing Solutions of Complementarity Problems

Modifications to Expression Evaluation in C-XSCLunch (attendees will be on their own) PDE IIIComputer Algebra, Symbolic Computation13:30-13:55 Masahisa Tabata

Discrepancy between Theory and Real Computation on the Stability of Some Finite Element SchemesHirokazu Anai and Kazuhiro Yokoyama

Numerical Cylindrical Algebraic Decomposition with Certificated Reconstruction13:55-14:20 Henning Behnke

Bounds for Eigenvalues of an Eigenvalue Problem with Non-Smooth CoefficientsRene Alt, Jean-Luc Lamotte and Svetoslav Markov

Numerical Study of Stochastic Algebraic Solutions to Linear Problems14:20-14:45 Shashikant Manikonda, Martin Berz and Kyoko Makino

A Highly Accurate High-Order Validated Method to Solve the Neumann Boundary Condition Problem for the 3D Laplace EquationS. Graillat and Ph. Langlois

Approximate Polynomial Problems and Associated Tools14:45-15:10 Teruya Minamoto

Verified Numerical Computation of a Double Turning Point for the Perturbed Gelfand EquationEva Dyllong and Wolfram Luther

Verified Distance Computation between Octree-Encoded ObjectsCoffee Break Nonlinear System IIApplications III15:40-16:05 Stefan Ratschan and Zhikun She

Reach Set Computation for Hybrid Dynamical Systems by Constraint PropagationMarco Kletting, Andreas Rauh, Harald Aschemann and Eberhard P. Hofer

Consistency Tests in Guaranteed Simulation of Nonlinear Uncertain Systems with Application to an Activated Sludge Process16:05-16:30 Wolfram Luther

Verified Computation of Continued Fractions Representing Minimal Solutions of Discrete Matrix Riccati EquationsMarc Gennat and Bernd Tibken

Simulation of Uncertain Systems with Guaranteed Bounds16:30-16:55 Kyoko Makino and Martin Berz

Range Bounding Using Taylor Models

From Intervals to Domains: A General Description of Validated Uncertainty, with Applications to Geospatial and Meteorological Data16:55-17:20 Kohshi Okumura

Method of Multiple Scale for Electronic Circuit AnalysisKenta Kobayashi

Numerical Verification of the Global Uniqueness of a Positive Solution for Nekrasov's EquationBreak Optimization IVFundamentals of Interval Arithmetic17:30-17:55 Kentaro Moriya and Takashi Nodera

A New Scheme of Computing the Approximate Inverse Preconditioner for the Reduced Linear Systems(The presentation by Prof. Chin-Yun Chen has been canceled.) 17:55-18:20

Lower Bounds for the Optimization Problems Related to Atom Clusters(The presentation by Prof. Abbas Edalat and Prof. Dirk Pattinson has been canceled.) 18:20-18:45 Nathalie Revol

Convergent Linear Recurrences (with Scalar Coefficients) with Divergent Interval Simulations(The presentation by Prof. Aline B. Loreto, Prof. Roberto da Silva, Prof. Laira V. Toscani, Prof. Leila Ribeiro, Prof. Dalcidio M. Claudio and Prof. Liara S. Lealhas been canceled.) 18:45-19:10 Roumen Anguelov

Interval Viscosity Solutions of the Hamilton-Jacobi Equation19:15- Closing Ceremony Oct. 4 Mon.Oct. 5 Tue.Oct. 6 Wed.Oct. 7 Thu.List of Authors