International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN)