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

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

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

GAMM: Gesellschaft für Angewandte Mathematik und Mechanik / International Association for Applied Mathematics and Mechanics
IMACS: International Association for Mathematics and Computers in Simulation.

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...

Lyon, Saone banks
(courtesy J.-M. Muller)

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

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

ENS Lyon
(courtesy C. Bernon, ENS Lyon)

Plenary speakers

Götz Alefeld (Karlsruhe Institute of Technology, Germany): Jürgen Herzberger (1940–2009) – His scientific contributions, especially to interval analysis [Abstract]
Valérie Berthé (CNRS, LIAFA, France): Dynamical directions in numeration [Abstract]
David Daney (INRIA Sophia Antipolis, Coprin, France): A Scilab Interface for Interval Analysis [Abstract]
James Demmel (University of California at Berkeley, USA): Accurate and efficient expression evaluation and linear algebra [Abstract]
Andreas Griewank (Humboldt University Berlin, Germany): On Piecewise Linearization by Algorithmic Differentiation [Abstract]
John Harrison (Intel Corporation, USA): Formal proofs of floating-point algorithms [Abstract]
Warwick Tucker (Uppsala University, Sweden): Challenges for validated numerics in dynamical systems [Abstract]
Yoshitaka Watanabe (Kyushu University, Fukuoka, Japan): A self-validating norm computation of inverse for infinite dimensional linear operators and its applications [Abstract]
Lihong Zhi (Academia Sinica, Beijing, China): Certification via Symbolic-Numeric Computations [Abstract]

Lyon, astronomical clock in St-Jean cathedral banks (courtesy J.-M. Muller)

Lyon, St-Jean cathedral
astronomical clock
(courtesy J.-M. Muller)

Announcement

First call for contributions

Second call for contributions

Final Submission

The authors should submit the final version of their abstract by July 2, 2010. They should upload both their LaTeX file that will be used to generate the Book of Abstracts, and a PDF file for control purpose.

The authors should check that their LaTeX file conforms to the provided template LaTeX file.

At least one author of an accepted abstract must be registered for the conference by August 15, 2010 to have their abstract included in the published proceedings.

Submission now closed. To propose a contribution after SCAN 2010, see Publication after the SCAN 2010 conference.

Lyon, Fourviere basilica by night (courtesy J.-M. Muller)

Lyon, Fourvière basilica by night
(courtesy J.-M. Muller)

Important dates

Abstract submission: until Sunday, April 11, 2010 extended until Friday, April 16
~~Acceptance notification: Monday, June 7, 2010~~
~~Final submission: Friday, July 2, 2010~~
~~Early bird registration: August 15, 2010~~
Closing of registration: Friday, September 3, 2010. It is still possible to register after this date, though. On-site registration is possible on Monday morning only, but the number of additional inscriptions to the social events will be limited.
Conference: Monday to Thursday, September 27-30, 2010

Accepted abstracts will appear in the proceedings provided at least one of the authors has registered.

ENS Lyon
(courtesy Y. Le Poul, ENS Lyon)

Registration and fees

Registration page.[CLOSED]

Fees (include lunches, coffee breaks, and social events):

Student	200 EUR
Early	275 EUR
Late	350 EUR

If you need childcare, please do not hesitate to contact us.

Venue

École Normale Supérieure de Lyon
Lyon, France
September 27-30, 2010.

Practical information

Accommodation

ENS de Lyon - SCAN 2010 conference

Hotels suggested below

Suggested hotels

When contacting a hotel that has reserved rooms, you should say that you want to book a room for the SCAN 2010 conference.

Near the ENS:

Ibis Lyon Gerland rue Mérieux, 61 EUR for the Saturday and for the Sunday evening, 91 EUR for the other nights (breakfast 7.50 EUR, tax 0.99 EUR). 10 rooms reserved for the conference until September 4.
Address: 246 rue Marcel Merieux, 69007 Lyon
Phone: +33 (0)4 72 72 63 63
Email: H0477-GM@accor.com
Ibis Lyon Gerland Pont Pasteur
Address: 68 avenue Leclerc, Les Berges du Rhone, 69007 Lyon
Phone: +33 (0)4 78 58 30 70
Email: H0778@accor.com
Park & Suites - Lyon Gerland, 85 EUR + tax (1.10 EUR) per night including breakfast. 20 rooms reserved for the conference until September 4.
Address: 175 avenue Jean Jaurès, 69007 Lyon
Phone: +33 (0)4 37 37 25 25

Inner city:

Hôtel du Théâtre, 59 to 61 EUR per night (breakfast 6 EUR). Limited number of rooms reserved for the conference until August 10.
Address: 10 rue de Savoie, 69002 Lyon
Phone: +33 (0)4 78 42 33 32
Email: contact@hotel-du-theatre.fr
Hôtel La Résidence
Address: 18 rue Victor Hugo, 69002 Lyon
Phone: +33 (0)4 78 42 63 28
Email: hotel-la-residence@wanadoo.fr
Hôtel Sofitel Lyon Bellecour
Address: 20 quai Gailleton, 69002 Lyon
Phone: +33 (0)4 72 41 20 20
Email: H0553@sofitel.com
Hôtel Alexandra
Address: 49 rue Victor Hugo, 69002 Lyon
Phone: +33 (0)4 78 37 75 79
Email: info@hotel-alexandra-lyon.fr
Hôtel Kyriad Lyon Centre - Gare Perrache
Address: 24 quai Perrache, 69002 Lyon
Phone: +33 (0)4 78 37 16 64
Email: kyriadlyonperrache@wanadoo.fr

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

Near the Part Dieu shopping mall:

B&B Hotel Gambetta, 48 EUR week-end / 60 EUR week days for single rooms (breakfast 6 EUR), 52 EUR week-end / 80.50 EUR week days for double rooms. 10 rooms reserved for the conference until September 4.
Address: 93 cours Gambetta, 69003 Lyon
Phone: +33 (0)8 92 70 75 34
Resid'hotel
Address: 79 bd Vivier-Merle, 69003 Lyon
Phone: +33 (0)4 72 91 42 52
Première Classe, 63.44 EUR per night (breakfast 4.80 EUR, parking 7 EUR). 40 single rooms reserved for the conference until August 31.
Address: 75 bd Vivier Merle, 69003 Lyon
Phone: +33 (0)4 72 36 86 62
Email: lyon.partdieu@premiereclasse.fr
Radisson
Address: 129 rue Servient, 69003 Lyon
Phone: +33 (0)4 78 63 55 00

Travel

Lyon is easy to reach, either by plane then by the Rhônexpress line (get off at Lyon Part-Dieu), or by train (French version, or English version). You may also consider landing in Paris and use a 2-hour connexion by fast train with Roissy Charles de Gaulle airport.

From the Lyon Saint-Exupery airport: take Rhônexpress, the tramway that connects the airport to the railway station (Lyon Part-Dieu). Then enter the railway station, cross it and exit on the other side in order to take the subway B (blue line) at station Gare Part-Dieu Vivier Merle towards Stade de Gerland and get off at Debourg.

For the whole trip, you can buy a ticket Rhone pass aller retour from the staff on board (and pay it by credit card). This return ticket costs 25.20 euros. It is valid for the tramway trip (from the airport to the train station) and also for the subway trip (from the train station to the hotel or conference).
From the Lyon Part-Dieu railway station: exit on the Vivier-Merle side, take the subway B (blue line) at station Gare Part-Dieu Vivier Merle towards Stade de Gerland and get off at Debourg.

Subway tickets are available from automatic ticket machines at the entrance of the subway station. The price for 1 single ticket (in French, ticket à l'unité) is 1.60 euros.

How to go from Debourg subway station to the SCAN 2010 conference: When you leave the subway train, take the exit on your right, go straight to the pharmacy, turn right and cross the street (avenue Jean Jaurès). Straight on through Challemel-Lacour street, then Place des Pavillons and the pedestrian allée d'Italie. The entrance of SCAN 2010 is left to the fountain.

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

Tourism links

Pictures from participants of the SCAN 2010 conference

Publication after the SCAN 2010 conference

There will be no formal proceedings of SCAN 2010.

However, the journal Computing, Springer Publisher, Vienna, will publish strongly refereed, high-level presentations in regular issues of Computing.

We apologize for troubles some of you may have encountered during their submission to Computing. This was due to a slight misunderstanding, which is now clarified. The deadline has been postponed, please submit your contribution as soon as possible. Please also send us (Götz Alefeld and Nathalie Revol) a copy of your submission.

Conditions:

The results have to be new: no short or extended versions of results already published otherwise.
Each submitted paper will undergo the usual refereeing process of Computing: at least two anonymous, external referees.
There is no formal page limit. However, we suggest to limit contributions to 10 pages (15 pages for invited talks).
There is no official deadline. However, we recommend to submit contributions no later than February 28, 2011. This will help to ensure that all contributions can be published in consecutive issues of Computing.
The submission has to be done via the paper submission system of Computing. However, do not remove anything from the first page, otherwise your contribution will not be recognized as a SCAN 2010 contribution.
In particular, do not delete the footnote on the title page mentioning the relation between the submitted paper and the SCAN 2010 conference. This footnote should take the following form: The authors have presented the results of this paper during the SCAN 2010 conference in Lyon, September 2010.
Please also send us (Götz Alefeld and Nathalie Revol) a copy of your submission.

If you have any question, please contact Götz Alefeld and/or Nathalie Revol.

Lyon, St Jean area with snow
(courtesy J.-M. Muller)

Organization

with the help of Sylvain Collange, Mioara Joldes, Erik Martin-Dorel, Christophe Mouilleron, Adrien Panhaleux, Bogdan Pasca, David Pfannholzer, Serge Torres.

Contact:

electronic address now closed.

Surface address:
SCAN 2010 (attn Nathalie Revol)
LIP
École Normale Supérieure de Lyon
46 allée d'Italie
69364 Lyon Cedex 07
France

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