| 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 |  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 |  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 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 |
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 |
 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 |
|
