13th GAMM - IMACS International Symposium on
Scientific Computing, Computer Arithmetic, and
Verified Numerical Computations

El Paso, Texas, USA
September 29 - October 3, 2008

Welcome, SCAN Symposia Series, Topics of Interest,
Meeting Format, Invited Plenary Talks,
Program at a Glance, Detailed Program, Program by Name
Abstracts, Post-Conference Proceedings,
Photos, Post-Conference Workshop,
Location, Venue, Important Dates, Registration, Accommodation,
Scientific Committee, Local Organizing Committee,
Contact Information


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

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:

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:

Meeting Format

The meeting is expected to consist of 10 invited plenary lectures and contributed presentations. Contributed presentations are invited in all areas of interest.

The meeting will be followed by a post-conference workshop.

Invited Plenary Talks


All participants interested in presenting a paper are asked to submit a short LaTeX abstract (300-500 words) by email to
vladik@utep.edu. The deadline for abstract submission is April 30, 2008. 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.

For more information about U.S. visa policy and procedures, please visit the following links: http://travel.state.gov/ and http://www.unitedstatesvisas.gov/

Post-Conference Proceedings

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

Important Dates

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.

Registration fee covers:


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: The group/convention code necessary to get a special conference rate is "SCAN".

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.

Scientific Committee

Local Organizing Committee

Contact Information

Mailing Address: E-mails:
mceberio@cs.utep.edu, vladik@utep.edu;
we plan to also set up a special email contact@scan2008.com
Phones: +1 915 747 6950 (Martine), +1 915 747 6951 (Vladik)
Fax +1 915 747 5030

[<--] Back to the Forthcoming Conferences Part of the Interval Computations website

[<--] Back to the main menu of the Interval Computations website