| Room: Plaisir A | Room: Ho-oh B |
| 8:40-8:55 | Opening Ceremony, Greetings
Mitsuhiro T. Nakao (Conference Chair)
Tisato Kajiyama (President of Kyushu University) |
|
| Invited Plenary Talks |
|
| 9:00-9:45 | Masao Iri
Teruo SUNAGA-A Pioneer of Interval Arithmetic in Japan |
|
| 9:45-10:30 | Günter Mayer
On Regular and Singular Interval Systems |
|
| Coffee Break |
| Optimization I | Hardware |
| 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 I | Software 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 II | Linear 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 I | Nonlinear 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 |
|
