SCAN 2010: Second Call for Contributions

14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
ENS Lyon, France, September 27-30, 2010
http://scan2010.ens-lyon.fr/

Important dates

Abstract submission: until Sunday, April 11, 2010 extended until Friday, April 16, 2010
Acceptance notification: Monday, May 31, 2010
Early bird registration: until Thursday, July 15, 2010
Closing of registration: Friday, September 3, 2010
Conference: Monday-Thursday, September 27-30, 2010

Instructions for authors

First, prepare your abstract (preferably using this LaTeX template), with a length between 1500 and 3000 characters for the text. Then, submit your abstract using the submission page: copy and paste the required pieces of information in the corresponding boxes. Finally, upload a PDF file (preferably obtained using the LaTeX template) that will be used to check whether your submission prints out correctly.

Introduction to the SCAN conference

This conference continues the series of international SCAN symposia held under the joint sponsorship of GAMM and IMACS. SCAN symposia have been initiated by the University of Karlsruhe, Germany, They have been held in many towns: Basel, Switzerland (1989), Varna-Albena, Bulgaria (1990), Oldenburg, Germany (1991), Vienna, Austria (1993), Wuppertal, Germany (1995), Lyon, France (1997), Budapest, Hungary (1998), Karlsruhe, Germany (2000), Paris, France (2002), Fukuoka, Japan (2004), Duisburg, Germany (2006), El Paso, Texas, USA (2008).

The scientific program will consist of 8 invited plenary lectures (1 hour, including questions) and of contributed presentations (20 minutes oral presentation followed by 5 minutes of discussion, organized into parallel sessions). Contributions are invited in all areas of interest. The language of the conference is English.

Scope and topics

The SCAN symposia gather researchers in scientific computing who work on the numerical quality and the verification of computed results. Techniques and tools in use include, but are not limited to, interval arithmetic, floating-point as specified by the IEEE 754-2008 standard, exact computations, symbolic approaches, formal proof, sensitivity analysis... 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 arithmetic, programming, and algorithmic tools for this purpose.

Topics of interest include, but are not limited to:

Hardware and software support for verification tools
Theory, algorithms, and arithmetic for verified numerical computations
Supercomputing and reliability
Dynamical systems, global optimization, simulations, and verified numerical computations
Programming tools for verified numerical computations
Symbolic and algebraic methods for numerical verification
Computer-aided proofs
Industrial and scientific applications of verified numerical computations

Plenary speakers