SCAN'2012
15th GAMM-IMACS International Symposium on Scientific Computing,
Computer Arithmetic and Validated Numerics
Akademgorodok, Novosibirsk, Russia, September 23-29, 2012

Important Dates
On-line abstract submission : April 30, 2012
Acceptance notification : May 31, 2012
Deadline for early conference fee : July 16, 2012
Pre-Conference Workshop CoProd'2012 : September 23, 2012
Conference : September 24-28, 2012
Departure day : September 29, 2012

http://conf.nsc.ru/scan2012

The SCAN symposia gather researchers in scientific computing and
practitioners who work with numerical verification of computed results
and interval methods. Techniques and tools in use include, but are
not limited to, interval arithmetic, floating-point computations,
symbolic approaches, formal proofs, sensitivity analysis, etc. The
scope of the SCAN conferences covers all aspects, from theory to
implementation and applications, with a strong emphasis on
verification of computed results, as well as on mathematical,
programming, and algorithmic tools for this purpose.

Topics of interest include, but are not limited to
- Theory and algorithms for verified numerical computations
- Verification in operations research, optimization, and simulation
- Verified solution of ordinary differential equations
- Computer-assisted proofs and verification for PDEs
- Symbolic and algebraic methods for numerical verification
- Interval analysis and its applications
- Hardware and software support, programming tools for verification
- Supercomputing and reliability
- Applications of verified numerical computations