| Room: Plaisir A | Room: Ho-oh B | |
| Invited Plenary Talks | ||
| 9:00-9:45 | Michael Plum Enclosure Methods for Elliptic Partial Differential Equations | |
| 9:45-10:30 | Nobito Yamamoto Numerical Error Estimation with Guaranteed Accuracy for Finite Element Method | |
| Coffee Break | ||
| PDE II | Fundamentals of Interval Arithmetic | |
| 11:00-11:25 | Sunao Murashige Numerical Verification of Fixed Points of an Infinite Dimensional Map for a Water Wave Problem |
Shinya Miyajima and Masahide Kashiwagi A Method Which Finds Maxima and Minima of a Multivariable Function Applying Mean Value Form |
| 11:25-11:50 | Yoshitaka Watanabe, Michael Plum and Mitsuhiro T. Nakao A Computer Assisted Proof for the Orr-Sommerfeld Problem |
Tomasz Strek Influence of Numerical Errors on Wrapping Effect |
| 11:50-12:15 | Piotr Zgliczynski Method of Self-Consistent Bounds and Computer Assisted Proofs for of Kuramoto-Sivashinsky PDE |
Blagovest Sendov, Roumen Anguelov and Svetoslav Markov The Linear Space of Hausdorff Continuous Functions |
| Lunch (attendees will be on their own) | ||
| Optimization II | Linear Algebra II | |
| 13:30-13:55 | A. E. Csallner and A. B. Kocsis Handling Interval Constraints in Civil Engineering Problems |
Siegfried M. Rump Super-Fast Verification Methods |
| 13:55-14:20 |   |
Takeshi Ogita, Siegfried M. Rump and Shin'ichi Oishi Verified Solutions of Linear Systems without Directed Rounding |
| 14:20-14:45 | Youn-Kyung Kim, Pavel Snopok, Alexey Poklonskiy, Kyoko Makino and Martin Berz Rigorous Stability Estimates for the Dynamics in the Tevatron via Nekhoroshev-Type Estimates Based on Normal Form Pseudo Invariants |
 Inner and Outer Bounds for the Solution Set of Parametric Linear Systems |
| 14:45-15:10 | Leila Arraf and Bernd Tibken Global Optimization of Polynomial Functions Subject to Polynomial Constraints |
Tomohiro Sogabe and Shao-Liang Zhang COCR Methods for Solving Complex Symmetric Linear Systems |
| Coffee Break | ||
| Applications I | Linear Algebra III | |
| 15:40-16:05 |  Interval Versions of Statistical Techniques, with Applications to Environmental Analysis, Bioinformatics, and Privacy in Statistical Databases |
Masanobu Kakihara and Seiji Fujino Estimation of Convergence Property of Diagonally Relaxed RICCG Method for a Variety of Realistic Problems |
| 16:05-16:30 | Kumiko Tsuji and Miki Aoyagi Accuracy of an Eye Direction by Image Processings |
R. Adout, J.-M. Chesneaux and F. Jezequel A Reliable Hyblid Extrapolation Algorithm to Accelerate the Restarted GMRES Method |
| 16:30-16:55 |  Affine Arithmetic-Type Techniques for Handling Uncertainty in Expert Systems, with Applications to Geoinformatics and Computer Security |
Hisashi Kotakemori, Kensaku Tomura, Toshiyuki Kohno and Hiroshi Niki The Preconditioned Iterative Method with Related Accuracy |
| 16:55-17:20 | Matthew G. Averill, Kate C. Miller, G. Randy Keller, Vladik Kreinovich, Jan Beck, Roberto Araiza, Roberto Torres and Scott A. Starks How Accurate is a Solution to the Seismic Inverse Problem |
Linjie Zhang and Takashi Nodera Modified GMRES(m) Method by Using Ritz Values |
| Break | ||
| ODE III | Applications II | |
| 17:30-17:55 | Kouji Hashimoto, Kenta Kobayashi and Mitsuhiro T. Nakao Numerical Verification Methods of Solutions for One Dimensional Free Boundary Problems |
Andreas Rauh, Marco Kletting, Harald Aschemann and Eberhard P. Hofer Reduction of Overestimation in Interval Arithmetic Simulation of Biological Wastewater Treatment Processes |
| 17:55-18:20 | Yuchi Kanzawa and Shin'ichi Oishi A Numerical Method of Proving the Existence of Solutions for Nonlinear ODEs Using Green's Function Expression |
Ekaterina Auer Interval Modeling of Dynamics for Multibody Systems |
| 18:20-18:45 | (The presentation by Prof. A. N. Rogalyov has been canceled.) | (The presentation by Prof. Galina Shilo has been canceled.) |
| 19:00- | Banquet in Nishitetsu Grand Hotel | |
