| 13:00-13:05 | Opening Ceremony, Greetings
Masahisa Tabata |
| Invited Plenary Talks ( Chairperson: Mitsuhiro T. Nakao ) |
| 13:05-13:50 | Götz Alefeld (Universität Karlsruhe)
Complementarity problems: An overview on existing verification procedures |
| 13:50-14:35 | Sangdong Kim (Kyungpook National University)
A collocation least-squares approximation for second-order elliptic partial differential equations |
| Coffee Break |
| Session 1 ( Chairperson: Youngmok Jeon ) |
| 14:50-15:15 |
Tatsuyuki Nakaki (Hiroshima University)
Numerical and mathematical analysis to motion of some five point vortices |
| 15:15-15:40 |
Hirofumi Notsu, Masahisa Tabata (Kyushu University)
A second order characteristic finite element scheme for the Navier-Stokes
equations |
| 15:40-16:05 |
Sunao Murashige (The University of Tokyo)
A practical method of numerical calculation of the mapping degree and its application |
| Break |
| Session 2 ( Chairperson: Shin'ichi Oishi ) |
| 16:15-16:40 |
Nobito Yamamoto (The University of Electro-Communications)
Validated computation of Bessel functions using multiple-precision arithmetic
|
| 16:40-17:05 |
Myoungnyoun Kim, Mitsuhiro T. Nakao (Kyushu University)
On verified 3D bifurcating solutions of heat convection problem
|
| 17:05-17:30 |
Masato Kimura (Kyushu University)
A quantitative study on adaptive FEM for several pattern formations |
|
| 18:00-20:00 |
Banquet in Nagasaki Washington Hotel |
| Invited Plenary Talks ( Chairperson: Götz Alefeld ) |
| 9:00-9:45 | Hyung-Chun Lee (Ajou University)
Linear feedback control problems for the Boussinesq equations |
| 9:45-10:30 | Shin'ichi Oishi (Waseda University)
Numerical verification for solutions of finite dimensional sparse linear equations using iterative methods |
| Coffee Break |
| Session 3 ( Chairperson: Takashi Kako ) |
| 10:45-11:10 |
Fumio Kikuchi (The University of Tokyo)
Estimation of error constants for P_0 and P_1 triangular finite elements
|
| 11:10-11:35 |
Atsushi Suzuki (Kyushu University)
A domain decomposition solver for a Stokes problem with slip boundary conditions |
| Lunch (attendees will be on their own) |
|
| 13:00-16:15 | Sightseeing of Nagasaki City (optional) |
|
| 18:00-20:30 | Dinner at a restaurant with regional cuisine (optional) |
| Invited Plenary Talks ( Chairperson: Sangdong Kim ) |
| 9:00-9:45 | Youngmok Jeon (Ajou University)
Nonconforming cell boundary element methods on triangular mesh |
| 9:45-10:30 | Takashi Kako (The University of Electro-Communications)
Numerical method for wave propagation phenomena and shape design problem |
| Coffee Break |
| Session 4 ( Chairperson: Hyung-Chun Lee ) |
| 10:45-11:10 |
Teruya Minamoto (Saga University)
Numerical verifications of solutions for the perturbed Gelfand equation in rectangular domains
|
| 11:10-11:35 |
Xiaojun Chen (Hirosaki University)
Numerical solution of nonsmooth constrained optimal control problems |
| 11:35-12:00 |
Takuya Tsuchiya (Ehime University)
Hadamard's variations and their applications |
| Lunch (attendees will be on their own) |
| Session 5 ( Chairperson: Masahisa Tabata ) |
| 13:30-13:55 |
Yoshitaka Watanabe (Kyushu University)
A computer assisted proof of a symmetry-breaking bifurcation point
for the Rayleigh-Bénard problem
|
| 13:55-14:20 |
Tadashi Kawanago (Tokyo Institute of Technology)
Numerical verification for Hopf and pitchfork bifurcation points by a unified bifurcation theorem |
| 14:20-14:45 |
Hitoshi Imai (The University of Tokushima)
Parallel computing in multiple precision for numerical verification of various simultaneous linear equations |
| 14:45-15:10 |
Kaori Nagatou (Kyushu University)
Enclosing and excluding methods for eigenvalues in essential spectrum gaps |
| 15:10-15:15 |
Closing
Mitsuhiro T. Nakao |
Last updated: Nov. 16, 2005.