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

9:45-10:30Günter Mayer
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 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 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
Renata H.S. Reiser, Antônio Carlos R. Costa and Graçaliz P. Dimuro
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
High-Order Validated Representation of Poincaré Maps
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
Uwe Schäfer
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
Break

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