SCAN 2010: First 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: Sunday, April 11, 2010
Acceptance notification: Monday, May 31, 2010
Early bird registration: Thursday, July 15, 2010
Closing of registration: Friday, September 3, 2010
Conference: Monday-Thursday, September 27-30, 2010

Instructions for authors

Submission of abstracts, including a title, name and affiliation of the authors, and a text from 300 to 500 words.

While the submission web site is being set up, you may already submit your abstract via email to [electronic address now closed].

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