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.
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.
The meeting will be followed by a post-conference workshop.
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/
The aim of this workshop, back-to-back with SCAN'2008, is to bring together a group of scientists, interested in constraint-related topics, in a series of invited talks during two half-days: the afternoon of Friday October 3 and the morning of Saturday October 4. One of the main objectives of CoProD is to further activate the network of researchers interested in constraint techniques, and to further bridge the gap between the great capacity of these techniques and their limited use. In view of this objective, the focus of CoProD will be on constraint techniques and their applications, and plenty of time will be dedicated to interaction between participants.
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".
Registration fee covers:
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.
Back to the
Forthcoming Conferences Part of the Interval Computations website