The 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations will take place at The University of Texas at El Paso on September 29 - October 3, 2008.
The goal of SCAN 2008 is to advance the frontiers in verified numerical computations, as well as in their application to computational engineering and science.
SCAN symposia Series
The conference continues the series of international SCAN symposia held under the joint sponsorship of
- GAMM (International Association of Applied Mathematics and Mechanics) and
- IMACS (International Association for Mathematics and Computers in Simulation).
These symposia have covered the numerical and algorithmic aspects of scientific computing, with a strong emphasis on verification of computed results, as well as on arithmetic, programming, and algorithmic tools for this purpose. Their objectives have been both to propagate current applications and research and to promote a greater understanding and increased awareness of the subject matters.
These symposia have been initiated by the University of Karlsruhe, Germany. They have been held in many cities across the world:
- Basel, Switzerland (1989)
- 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)
SCAN 2008 strives to become a forum for the researchers of various fields in numerical verification to discuss many existing verification tools and approaches.
Topics of Interest
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 and verified numerical computation
- Global optimization and verified numerical computation
- Programming tools for verified numerical computation
- Computer aided proofs
- Industrial and scientific applications of verified numerical computations
The meeting is expected to consist of 10 invited plenary lectures and contributed presentations.
- Each plenary lecture is a 45-minute talk followed by a 5-minute discussion.
- Each contributed presentation is a 20-minute oral presentation followed by a 5-minute discussion. Contributed presentations will be organized into parallel sessions.
Contributed presentations are invited in all areas of interest.
Invited Plenary Talks
- Scott Ferson (Applied Biomathematics, Setauket, New York, USA)
"Verified Computation with Probability Distributions, with Applications to Engineering and Superfund Contamination Sites"
- Frederic Goualard (Laboratoire d'Informatique de Nantes-Atlantique,
"Interval Multivalued Inverse Functions: Algorithms and Applications"
- Rafi Muhanna (Georgia Tech University, Savannah, Georgia, USA)
"Interval Finite Elements and Uncertainty in Engineering Analysis"
- Shin'ichi Oishi (Waseda University, Tokyo, Japan)
"Accurate and Fast Sum of Floating Point Numbers and Applications to Verification Algorithms"
- Michael Plum (University of Karlsruhe, Germany)
"A Computer-Assisted Band-Gap Proof for 3D Photonic Crystals"
- Michel Rueher (Ecole Polytechnique, Sophia Antipolis, France)
"Constraint Programming and Safe Global Optimization"
- Sergey Shary (Institute of Computational Technologies,
Russian Academy of Sciences, Novosibirsk, Russia)
"Nonnegative Interval Linear Equations and Their Solution"
- Kyoko Makino and Martin Berz (Michigan State University, Lansing, Michigan, USA), Winners of the 2008 R. E. Moore Prize for Applications of Interval Analysis
All participants interested in presenting a paper are asked to submit a short LaTeX abstract (300-500 words) by email to email@example.com. The LaTeX sample can be found here. Please use as subject "Abstract for SCAN'2008" and your name.
If you have difficulty using LaTeX, send a plain text (ASCII) file.
Book of Abstracts will be distributed to participants at registration.
Since participants from many countries need a visa to enter the USA, and processing visas takes time, we encourage participants to submit their abstracts as soon as possible, so that we can make acceptance decisions as early as possible.
Peer-refereed post-conference proceedings will appear as a special issue(s) of one or several journals, most probably including Reliable Computing. Detailed information with deadlines will be described later.
Discover a city that stretches the imagination - El Paso, Texas' westernmost city. A city of nearly three-quarters of a million people, which sprawls across hundreds of square miles of desert and rambling foothills. The Franklin Mountains, southern tip of the Rockies, slice El Paso nearly in two. With its classic Western geography and tri-cultural history, El Paso makes an intriguing place to visit.
El Paso is the gateway to Juarez, Mexico (US citizens do not need a visa for a short visit across the border), and to southern New Mexico with such recognized attractions as Fort Bliss, Carlsbad Caverns and White Sands National Memorial.
El Paso's dry, sunny, warm desert climate earned the city the nickname "Sun City".
The 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations will take place at The University of Texas at El Paso (UTEP). Approaching its centennial celebration, UTEP is the second oldest academic component of the University of Texas system. It has over 20,000 students. It is a beautiful and friendly campus with a harmonious and pleasing Bhutanese architecture. Detailed information about UTEP can be found on the university website
- On-line abstract submission: April 30, 2008
- Acceptance notification: no later than in a month after submitting the abstract
- Deadline for early conference fee: July 15, 2008
- Conference: September 29 - October 3, 2008
- Post-Conference Workshop: October 3-4, 2008
- Submission for post-conference proceedings: to be announced later
Please use the following form to register.
- Early registration fee: $300.
Applies when forms and payment are received or postmarked before July 15, 2008.
- Late registration fee: $400.
Applies when forms and payment are received or postmarked July 15 - September 22, 2008.
During the conference, the late registration fee can be paid on-site at the registration desk.
- Student rate: $200.
This rate applies to undergraduate, graduate, and Ph.D. students.
Valid student ID must accompany registration form and be presented at registration table onsite.
The registration fee covers
- the participation in the conference activities
- the conference excursion
- the conference banquet
- the conference proceedings
- the book of abstracts
- refreshments during the scheduled break times of the conference.
We have reserved a block of rooms at the Hilton Garden Inn hotel located directly on campus. The special conference rate is $119 + tax. Reservations can be made:
- either over the phone, by calling the hotel's toll free number 877/782-9444,
- or online, by accessing the hotel website and completing the on-line reservation form.
Warning: If you want to stay an extra day or more before or after the conference, you will need to make a separate online reservation for these extra days; the computer reservation system only gives conference discounts for stays between September 28 and October 4.
All reservations must be guaranteed with a major credit card or accompanied by a first night room deposit.
Complimentary wireless high speed Internet access is available in all guest rooms. A complimentary airport shuttle is available for the hotel guests; after arriving in El Paso, use the hotel's courtesy phone located near the baggage claim to call the shuttle.
Please make your reservations as soon as possible, rooms at discount rate are filling fast.
G. Alefeld, Karlsruhe (Germany)
R. Alt, Paris (France)
J.-M. Chesneaux, Paris (France)
G. F. Corliss, Milwaukee (Wisconsin, USA)
T. Csendes, Szeged (Hungary)
A. Frommer, Wuppertal (Germany)
G. Heindl, Wuppertal (Germany)
J. Herzberger, Oldenburg (Germany)
E. Kaucher, Karlsruhe (Germany)
R. B. Kearfott, Lafayette (Louisiana, USA)
W. Kraemer, Wuppertal (Germany)
V. Kreinovich, El Paso (Texas, USA)
U. Kulisch, Karlsruhe (Germany)
G. Mayer, Rostock (Germany)
S. Markov, Sofia (Bulgaria)
J. M. Muller, Lyon (France)
M. T. Nakao, Fukuoka (Japan)
M. Plum, Karlsruhe (Germany)
L. B. Rall, Madison (Wisconsin, USA)
N. Revol, Lyon (France)
J. Rohn, Prague (Czech Republic)
S. M. Rump, Hamburg (Germany)
H. Schwandt, Berlin (Germany)
Z. Shen, Nanjing (China)
J. Vignes, Paris (France)
W. V. Walter, Dresden (Germany)
J. Wolff von Gudenberg, Wuerzburg (Germany)
T. Yamamoto, Tokyo (Japan)
Local Organizing Committee
Martine Ceberio (Computer Science, UTEP)
Vladik Kreinovich (Computer Science, UTEP)
Scott A. Starks (Electrical and Computer Engineering, UTEP)
Mailing Address:Martine Ceberio, Vladik Kreinovich
Department of Computer Science
The University of Texas at El Paso
500 West University
El Paso, TX 79968
we plan to also set up a special email firstname.lastname@example.org
Phones: +1 915 747 6950 (Martine),
+1 915 747 6951 (Vladik)
Fax +1 915 747 5030