10th GAMM–IMACS International Symposium on
Scientiﬁc Computing, Computer Arithmetic, and
Validated Numerics SCAN’2002
The 10th GAMM–IMACS International Symposium on Scientiﬁc Computing,
Computer Arithmetic, and Validated Numerics SCAN’2002 was held in Paris,
France, from September 24 to 27, 2002, under the sponsorship of GAMM, IMACS,
e Pierre et Marie Curie, and Laboratoire d’Informatique de Paris 6 (LIP6).
This conference continues SCAN series. 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,
due to the increasing interest, SCAN symposia have been held in many towns in
Europe: Basel (1989), Varna-Albena (1990), Oldenburg (1991), Vienna (1993),
Wuppertal (1995), Lyon (1997), Budapest (1998), and Karlsruhe (2000). These
conferences have traditionally covered the numerical and algorithmic aspects of
scientiﬁc computing, with a strong emphasis on validation and veriﬁcation of
computed results as well as on arithmetic, programming, and algorithmic tools
for this purpose. The main objectives of SCAN symposia are: to propagate current
applications and research, and to promote a greater understanding and increased
awareness of the subject matters.
The main objective of SCAN’2002. 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 ﬁnite arithmetic of computers. Many different methods have been proposed for
such validation, including:
general deterministic techniques such as computer and interval arithmetic, com-
puter algebra systems, etc.,
algorithm-speciﬁc veriﬁcation methods,
probabilistic techniques such as discrete stochastic arithmetic, etc.
Based on these techniques, several different tools are now available for the users,
tools which enable the users to conﬁrm that the results provided by computers are
reliable. However, much work remains to be done in this ﬁeld.