Schedule for October 7, Thursday

Room: Plaisir ARoom: Ho-oh B

Invited Plenary Talks
9:00-9:45Michael Plum
Enclosure Methods for Elliptic Partial Differential Equations

9:45-10:30Nobito Yamamoto
Numerical Error Estimation with Guaranteed Accuracy for Finite Element Method

Coffee Break

PDE IIFundamentals 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 IILinear 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 Csendes
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 ILinear Algebra III
15:40-16:05 Kreinovich
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 Ceberio
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

ODE IIIApplications 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
Oct. 4 Mon. Oct. 5 Tue. Oct. 6 Wed. Oct. 8 Fri. List of Authors