The proceedings of the 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), held in Fukuoka, Japan, from October 4th to 8th, 2004 were discussed. The topics discussed include: hardware and software support for validation tools; theory, algorithms and arithmetic for numerical validation and dynamical systems and validation. More than 80 contributed presentations were included in the final program as two parallel sessions and they were presented after the following 8 invited plenary lectures. The refereed papers of conference proceedings will be published in 2005 in the special issue of Jounal of Computational and Applied Mathematics.
ASJC Scopus subject areas
- Safety, Risk, Reliability and Quality