SCAN2004
11th GAMM - IMACS International Symposium
on Scientific Computing, Computer Arithmetic,
and Validated Numerics
Fukuoka, Japan
October 4 - 8, 2004
|
The conference continues the series of international SCAN symposia,
which have been initiated by the University of Karlsruhe.
At the beginning, the symposia have been held in this town, but with
its increasing interest SCAN symposia have been held in many towns in
Europe: Basel (1989), Varna-Albena(1990), Oldenburg(1991), Wien(1993),
Wuppertal(1995), Lyon (1997), Budapest (1998), Karlsruhe(2000),
Paris (2002) under the joint sponsorship of GAMM and IMACS.
This is the first time for the conference to be held outside Europe,
in Japan.
These conferences have traditionally covered the numerical and
algorithmic aspects of scientific computing, with a strong emphasis
on validation and verification of computed results as well as on
arithmetic, programming, and algorithmic tools for this purpose.
The objectives are to propagate current applications and research as
well as to promote a greater understanding and increased awareness of
the subject matters. With the increasing power of computers, many
complex numerical simulations requiring a great lot of computations
are now performed. It appears more and more necessary to validate
results obtained with the finite arithmetic of computers. Many
researches concern the validation using a deterministic approach as
computer and interval arithmetic, specific verification methods,
probabilistic approaches as discrete stochastic arithmetic, etc.
Tools are now proposed to users, which are able to conclude that
results provided by computers are reliable, even if much work remains
to be done in this field. Other tools for validation and avoiding
round-off errors are based on exact representation and computer algebra
systems. It seems that the future development of the field will be seeked
in the combination of various approaches and existing tools. One of the
missions of SCAN2004 is to become a forum for the presentation of the
many existing validation tools and approaches in order to meet representative
populations of these various fields and uniform their concepts.
The scientific program will consist of invited general lectures and
contributed presentations. Exhibitions and demonstrations of computer
hardware and software will be welcome.
++ Scientific committee:
G. Alefeld, Karlsruhe (Germany)
R. Alt, Paris (France)
J.-M. Chesneaux, Paris (France)
G.F. Corliss, Milwaukee (Wisconsin, USA)
T. Csendes, Szeged (Hungary)
A. Frommer, Wuppertal (Germany)
G. Heindl, Wuppertal (Germany)
J. Herzberger, Oldenburg (Germany)
K.-U. Jahn, Leipzig (Germany)
E. Kaucher, Karlsruhe (Germany)
R.B. Kearfott, Lafayette (Louisiana, USA)
W. Kraemer, Wuppertal (Germany)
V. Kreinovich, El Paso (Texas, USA)
U. Kulisch, Karlsruhe (Germany)
G. Mayer, Rostock (Germany)
S. Markov, Sofia (Bulgaria)
J.-M. Muller, Lyon (France)
M. T. Nakao, Fukuoka(Japan)
M. Plum, Karlsruhe (Germany)
L.B. Rall, Madison (Wisconsin, USA)
J. Rohn, Praha (Czechia)
S.M. Rump, Hamburg (Germany)
H. Schwandt, Berlin (Germany)
Z. Shen, Nanjing (China)
J. Vignes, Paris (France)
W. V. Walter, Dresden (Germany)
J. Wolff von Gudenberg, Wurzburg (Germany)
T. Yamamoto, Tokyo (Japan)
++ Information about the conference can be found at the URL address:
http://scan2004.math.kyushu-u.ac.jp/
++ Questions can be sent to the e-mail address:
scan2004@math.kyushu-u.ac.jp
++ Registration and submission of abstracts will be possible soon.
++ Conference Chairman:
Mitsuhiro T. Nakao (Faculty of Mathematics, Kyushu University)
++ Local Organization:
Masahisa Tabata (Faculty of Mathematics, Kyushu University)
Seiji Fujino (Computing and Communicatioins Center, Kyushu University)
Kaori Nagatou (Faculty of Mathematics, Kyushu University)
Yoshitaka Watanabe (Computing and Communicatioins Center, Kyushu University)