Schedule for October 5, Tuesday

Room: Plaisir ARoom: Ho-oh B
8:40-8:55Opening Ceremony, Greetings
Mitsuhiro T. Nakao (Conference Chair)
Tisato Kajiyama (President of Kyushu University)

Invited Plenary Talks
9:00-9:45Masao Iri
Teruo SUNAGA-A Pioneer of Interval Arithmetic in Japan

On Regular and Singular Interval Systems

Coffee Break

Optimization IHardware
11:00-11:25 Yahia Lebbah, Claude Michel and Michel Rueher
An Efficient and Safe Framework for Solving Optimisation Problems
Reinhard Kirchner and Ulrich W. Kulisch
A Hardware Unit for Interval Arithmetic
11:25-11:50 Toth
A Comprehensive Study on the Convergence Speed and Efficiency of Inclusion Functions for Facility Location Problems
Mitsuo Ooyama
A Floating-Point Unit with Reduced Latency for URR Floating-Point Arithmetic
11:50-12:15 Honore Tapamo
On Some Acceleration Mechanisms in Verified Global Optimization
The Quantum Geometric Machine Model
Lunch (attendees will be on their own)

ODE ISoftware I
13:30-13:55 Martin Berz and Kyoko Makino
Shrink Wrapping and Preconditioning for Validated Integration
Abdelkader Ghaneme and Jean-Luc Lamotte
On the Performance of a Parallel Implementation of the CESTAC Method with Self-Validation on Several Parallel Machines
13:55-14:20 Martin Berz, Kyoko Makino and Johannes Grote
High-Order Constraint Satisfaction via Taylor Models
Hideo Sakaguchi, Yoshitaka Watanabe and Hitoshi Imai
About Numerical Verification with Multiple Precision Computation
14:20-14:45 Ned Nedialkov
Solving DAEs by Taylor Series
Philippe Langlois
Automatic Enhancement of Floating Point Accuracy
14:45-15:10 Johannes Grote, Kyoko Makino and Martin Berz
Takeshi Ogita, Seigfried M. Rump and Shin'ichi Oishi
Accurate Sum and Dot Product
Coffee Break

ODE IILinear Algebra I
15: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 Problems
16:05-16:30 Yasuaki Hiraoka
Rigorous Numerics for Localized Patterns of the Quintic Swift-Hohenberg Equation
Xiaojun Chen and Rob Womersley
Existence of Solutions to Underdetermined Equations and Spherical Designs
16:30-16:55 Andrzej Marciniak
On Multistep Interval Methods for Solving the Initial Value Problem
Tomohiro Suzuki and Toshio Suzuki
An Eigenvalue Problem for Derogatory Matrices
16:55-17:20 Anita Uscilowska
Validated Solution of Hamiltonian Systems with Affine Arithmetic
Kenji Toyonaga
On a Method for Separating Nearly Multiple Eigenvalues for Hermitian Matrix

PDE INonlinear System I
17:30-17:55 Fumio Kikuchi and Hironobu Saito
Quasi-Hypercircle Methods for A Posteriori Error Estimates of Finite Element Solutions
Andreas Frommer and Bruno Lang
Computational Existence Tests Based on Borsuk's Theorem
17:55-18:20 Hartmut Schwandt
Interval Newton-Like Schwarz Methods for Almost Linear Parabolic Problems
Thomas Beelitz
A Framework for the Result-Verifying Solution of Nonlinear Systems
18:20-18:45 Tadashi Kawanago
Improved Convergence Theorems of Newton's Method Designed for the Numerical Verification for Solutions of Differential Equations
Xiao-Ming Niu, Tetsuya Sakurai and Hiroshi Sugiura
A Verified Method for Bounding Clusters of Zeros of Analytic Functions
18:45-19:10 Kaori Nagatou, Kouji Hashimoto and Mitsuhiro T. Nakao
Numerical Verification of Stationary Solutions for Navier-Stokes Problems
Kiyotaka Yamamura and Akinori Machida
An Interval Algorithm for Finding All Solutions of Nonlinear Equations
19:10-19:35 Cheon Seoung Ryoo
Numerical Verification of Solutions for Signorini Problems

Oct. 4 Mon. Oct. 6 Wed. Oct. 7 Thu. Oct. 8 Fri. List of Authors