SCAN 2010
14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
ENS Lyon, France, September 27-30, 2010

Lyon, St Georges area by night (courtesy J.-M. Muller)
Lyon, St Georges area by night
(courtesy J.-M. Muller)




The 14th SCAN conference will be held under the auspices of

Scope and topics

The SCAN symposia gather researchers in scientific computing who work on the numerical quality and the verification of their computed results. 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. The contributions provide competent and concise information on recent hardware and software standards, developments in computer arithmetic, self-validating numerical algorithms, stochastic approaches, algebraic approaches, and applications in various fields.
The goal of the SCAN 2010 conference is to offer a panorama of the techniques and tools used to guarantee numerically computed results. These techniques 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...

Topics of interest
  • 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
Lyon, Saone banks (courtesy J.-M. Muller)
Lyon, Saone banks
(courtesy J.-M. Muller)


Previous SCAN conferences

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, Australia (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).


Plenary speakers

  • Valérie Berthé (CNRS, LIRMM, France): Dynamical directions in numeration (tentative title)
  • David Daney (INRIA Sophia Antipolis, Coprin, France): TBA
  • James Demmel (University of California at Berkeley, USA): Accurate and efficient expression evaluation and linear algebra (tentative title)
  • Andreas Griewank (Humboldt University Berlin, Germany): From automatic differentiation to piecewise linearization (tentative title)
  • John Harrison (Intel Corporation): TBA
  • Warwick Tucker (Uppsala University, Sweden): TBA
  • Yoshitaka Watanabe (Kyushu University, Fukuoka, Japan): Computer-assisted existence and non-existence proofs for the Orr-Sommerfeld equation (tentative title)
  • Lihong Zhi (Academia Sinica, Beijing, China): Certification via Symbolic-Numeric Computations (tentative title)
ENS Lyon (courtesy C. Bernon, ENS Lyon)
ENS Lyon
(courtesy C. Bernon, ENS Lyon)


Announcement

First call for contributions


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 to Thursday, September 27-30, 2010

Accepted abstracts will appear in the proceedings provided at least one of the authors has registered.
Lyon, astronomical clock in St-Jean cathedral banks (courtesy J.-M. Muller)
Lyon, St-Jean cathedral
astronomical clock
(courtesy J.-M. Muller)

Programme


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). Contributed presentations will be organized into parallel sessions. Contributions are invited in all areas of interest. The language of the conference is English.
Very probably, conferences and plenary talks from Monday, 27th of September 9h00 AM to Thursday, 30th of September, 17h00. The social event will likely take place on Tuesday afternoon.
Lyon, Fourviere basilica by night (courtesy J.-M. Muller)
Lyon, Fourviere basilica by night
(courtesy J.-M. Muller)


Registration and fees


Not yet open
Lyon, Roman amphitheater (courtesy J.-M. Muller)
Lyon, Roman amphitheater
(courtesy J.-M. Muller)


Venue

École Normale Supérieure de Lyon
Lyon, France
September 27-30, 2010.
ENS Lyon (courtesy Y. Le Poul, ENS Lyon)
ENS Lyon
(courtesy Y. Le Poul, ENS Lyon)


Practical information

Travel

Lyon is easy to reach, either by plane or by train (French version, English version here). You may also consider landing in Paris and use a 2-hour connexion by fast train with Roissy Charles de Gaulle airport.

Lyon, Part-Dieu area with the Alps in the background (courtesy J.-M. Muller)
Lyon, Part-Dieu area
with the Alps in the background
(courtesy J.-M. Muller)



Organization


Nathalie Revol (chair)
Florent de Dinechin
Claude-Pierre Jeannerod
Vincent Lefèvre
Nicolas Louvet
Séverine Morin

Contact: scan2010@ens-lyon.fr

Surface address:
SCAN 2010 (attn Nathalie Revol)
LIP
École Normale Supérieure de Lyon
46 allée d'Italie
69364 Lyon Cedex 07
France
Lyon, St Jean area with snow (courtesy J.-M. Muller)
Lyon, St Jean area with snow
(courtesy J.-M. Muller)