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)
- 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, St-Jean cathedral
astronomical clock
(courtesy J.-M. Muller)
Announcement
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, Fourvière basilica by night
(courtesy J.-M. Muller)
Important dates
Abstract submission: until Sunday, April 11, 2010 extended until Friday, April 16Acceptance notification: Monday, June 7, 2010Final submission: Friday, July 2, 2010Early 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
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 LyonLyon, 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
- Lyon on Wikipedia (English version).
- Lyon Tourist Office.
- Dance Biennial 2010.
- Musée des Beaux-Arts de Lyon.
- Musée d'art contemporain de Lyon.
- Musée Urbain Tony Garnier.
- Institut Lumière.
- Parc de la Tête d'Or.
- Quartier Saint-Jean (Renaissance area).
- Fourvière (English version).
- Théâtres romains.
Pictures from participants of the SCAN 2010 conference
- 27 September 2010
- 28 September 2010 (talks)
- visit of Pérouges: medieval town and glassblower
- 29 September 2010
- 30 September 2010
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
- Nathalie Revol (chair)
- Florent de Dinechin
- Claude-Pierre Jeannerod
- Vincent Lefèvre
- Nicolas Louvet
- Sèverine Morin
- Hong Diep Nguyen
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