Room:Plaisir ARoom:Ho-oh B8:40-8:55 Opening Ceremony, Greetings

Mitsuhiro T. Nakao (Conference Chair)

Tisato Kajiyama (President of Kyushu University)Invited Plenary Talks9:00-9:45 Masao Iri

Teruo SUNAGA-A Pioneer of Interval Arithmetic in Japan9:45-10:30

On Regular and Singular Interval SystemsCoffee Break Optimization IHardware11:00-11:25 Yahia Lebbah, Claude Michel and Michel Rueher

An Efficient and Safe Framework for Solving Optimisation ProblemsReinhard Kirchner and Ulrich W. Kulisch

A Hardware Unit for Interval Arithmetic11:25-11:50

A Comprehensive Study on the Convergence Speed and Efficiency of Inclusion Functions for Facility Location ProblemsMitsuo Ooyama

A Floating-Point Unit with Reduced Latency for URR Floating-Point Arithmetic11:50-12:15 Honore Tapamo

On Some Acceleration Mechanisms in Verified Global Optimization

The Quantum Geometric Machine ModelLunch (attendees will be on their own) ODE ISoftware I13:30-13:55 Martin Berz and Kyoko Makino

Shrink Wrapping and Preconditioning for Validated IntegrationAbdelkader Ghaneme and Jean-Luc Lamotte

On the Performance of a Parallel Implementation of the CESTAC Method with Self-Validation on Several Parallel Machines13:55-14:20 Martin Berz, Kyoko Makino and Johannes Grote

High-Order Constraint Satisfaction via Taylor ModelsHideo Sakaguchi, Yoshitaka Watanabe and Hitoshi Imai

About Numerical Verification with Multiple Precision Computation14:20-14:45 Ned Nedialkov

Solving DAEs by Taylor SeriesPhilippe Langlois

Automatic Enhancement of Floating Point Accuracy14:45-15:10 Johannes Grote, Kyoko Makino and Martin BerzTakeshi Ogita, Seigfried M. Rump and Shin'ichi Oishi

Accurate Sum and Dot ProductCoffee Break ODE IILinear Algebra I15:40-16:05 Emiko Ishiwata and Yoshiaki Muroya

Collocation Method for Delay Differential Equations with Proportional Delay

On Computer-Assisted Proofs for Solutions of Linear Complementarity Problems16:05-16:30 Yasuaki Hiraoka

Rigorous Numerics for Localized Patterns of the Quintic Swift-Hohenberg EquationXiaojun Chen and Rob Womersley

Existence of Solutions to Underdetermined Equations and Spherical Designs16:30-16:55 Andrzej Marciniak

On Multistep Interval Methods for Solving the Initial Value ProblemTomohiro Suzuki and Toshio Suzuki

An Eigenvalue Problem for Derogatory Matrices16:55-17:20 Anita Uscilowska

Validated Solution of Hamiltonian Systems with Affine ArithmeticKenji Toyonaga

On a Method for Separating Nearly Multiple Eigenvalues for Hermitian MatrixBreak PDE INonlinear System I17:30-17:55 Fumio Kikuchi and Hironobu Saito

Quasi-Hypercircle Methods for A Posteriori Error Estimates of Finite Element SolutionsAndreas Frommer and Bruno Lang

Computational Existence Tests Based on Borsuk's Theorem17:55-18:20 Hartmut Schwandt

Interval Newton-Like Schwarz Methods for Almost Linear Parabolic ProblemsThomas Beelitz

A Framework for the Result-Verifying Solution of Nonlinear Systems18:20-18:45 Tadashi Kawanago

Improved Convergence Theorems of Newton's Method Designed for the Numerical Verification for Solutions of Differential EquationsXiao-Ming Niu, Tetsuya Sakurai and Hiroshi Sugiura

A Verified Method for Bounding Clusters of Zeros of Analytic Functions18:45-19:10 Kaori Nagatou, Kouji Hashimoto and Mitsuhiro T. Nakao

Numerical Verification of Stationary Solutions for Navier-Stokes ProblemsKiyotaka Yamamura and Akinori Machida

An Interval Algorithm for Finding All Solutions of Nonlinear Equations19:10-19:35 Cheon Seoung Ryoo

Numerical Verification of Solutions for Signorini ProblemsOct. 4 Mon.Oct. 6 Wed.Oct. 7 Thu.Oct. 8 Fri.List of Authors