Schedule for October 8, Friday

Room: Plaisir ARoom: Ho-oh B

Invited Plenary Talks
9:00-9:45Eric Walter and Michel Kieffer
Guaranteed Nonlinear Parameter or State Estimation for Knowledge-Based Models

9:45-10:30Thomas C. Hales
Proving Theorems in Geometry by Computer

Coffee Break

Optimization IIISoftware II
11:00-11:25 Mihály Csaba Markót and Tibor Csendes
A Reliable Method for Verifying Structural Optimality of Circle Packing Configurations in the Unit Square
Jürgen Wolff von Gudengerg
Arithmetic Data Types in Java
11:25-11:50 Péter Gábor Szabó
Packing Equal Circles in a Square - Bounds, Repeated Patterns and Minimal Polynomials
Erithjof Blomquist and Walter Krämer
Computing A-Priori Error Bounds for Floating-Point Evaluations of Arithmetical Expressions
11:50-12:15 Götz Alefeld, Z. Shen and Z. Wang
Enclosing Solutions of Complementarity Problems
Mariana Lüderitz Kolberg, Gerd Bohlender and Dalcidio Moraes Claudio
Modifications to Expression Evaluation in C-XSC
Lunch (attendees will be on their own)

PDE IIIComputer Algebra, Symbolic Computation
13:30-13:55 Masahisa Tabata
Discrepancy between Theory and Real Computation on the Stability of Some Finite Element Schemes
Hirokazu Anai and Kazuhiro Yokoyama
Numerical Cylindrical Algebraic Decomposition with Certificated Reconstruction
13:55-14:20 Henning Behnke
Bounds for Eigenvalues of an Eigenvalue Problem with Non-Smooth Coefficients
Rene Alt, Jean-Luc Lamotte and Svetoslav Markov
Numerical Study of Stochastic Algebraic Solutions to Linear Problems
14: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 Equation
S. Graillat and Ph. Langlois
Approximate Polynomial Problems and Associated Tools
14:45-15:10 Teruya Minamoto
Verified Numerical Computation of a Double Turning Point for the Perturbed Gelfand Equation
Eva Dyllong and Wolfram Luther
Verified Distance Computation between Octree-Encoded Objects
Coffee Break

Nonlinear System IIApplications III
15:40-16:05 Stefan Ratschan and Zhikun She
Reach Set Computation for Hybrid Dynamical Systems by Constraint Propagation
Marco Kletting, Andreas Rauh, Harald Aschemann and Eberhard P. Hofer
Consistency Tests in Guaranteed Simulation of Nonlinear Uncertain Systems with Application to an Activated Sludge Process
16:05-16:30 Wolfram Luther
Verified Computation of Continued Fractions Representing Minimal Solutions of Discrete Matrix Riccati Equations
Marc Gennat and Bernd Tibken
Simulation of Uncertain Systems with Guaranteed Bounds
16:30-16:55 Kyoko Makino and Martin Berz
Range Bounding Using Taylor Models
Vladik Kreinovich, Graçaliz P. Dimuro, Antônio Carlos da Rocha Costa, Olga Kosheleva, Scott A. Starks, Kavitha Tupelly and Karen Villaverde
From Intervals to Domains: A General Description of Validated Uncertainty, with Applications to Geospatial and Meteorological Data
16:55-17:20 Kohshi Okumura
Method of Multiple Scale for Electronic Circuit Analysis
Kenta Kobayashi
Numerical Verification of the Global Uniqueness of a Positive Solution for Nekrasov's Equation

Optimization IVFundamentals of Interval Arithmetic II
17: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 Tamás Vinkó and Arnold Neumaier
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 Equation

19:15- Closing Ceremony
Oct. 4 Mon. Oct. 5 Tue. Oct. 6 Wed. Oct. 7 Thu. List of Authors