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

Important dates

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:

Plenary speakers