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 Günter Mayer

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 Boglárka Tóth, José Fernández and Tibor Csendes

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 OptimizationRenata H.S. Reiser, Antônio Carlos R. Costa and Graçaliz P. Dimuro

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 Berz

High-Order Validated Representation of Poincaré MapsTakeshi 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 DelayUwe Schäfer

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