SCAN 2000 IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics