7-9 July 2008
Santiago de Compostela, Spain
[ The following text is in the "ISO-8859-15" character set. ]
[ Your display is set for the "iso-8859-1" character set. ]
[ Some special characters may be displayed incorrectly. ]
**********************************************************************
First call for papers
Please distribute and accept our apologies
if you receive multiple copies.
8th CONFERENCE ON REAL NUMBERS AND COMPUTERS (RNC8)
July 7-9, 2008
Santiago de Compostela, Spain
NOTES:
- A special issue of Information & Computation will follow the
conference
Website: http://www.ac.usc.es/rnc8
Dates:
Submission of manuscripts: February 8, 2008
Notification of acceptance: April 2, 2008
Conference: July 7-9, 2008
Objective:
The aim of the symposia on "Real Numbers and Computers" is to bring
together specialists from various research areas, all concerned with
problems related to computations based on real numbers. These
computations may use any number system implemented by a software
package or in hardware, including floating and fixed point, integers,
rational or p-adic numbers, serial or on-line computations, continued
fractions, fixed or multiple precision, interval and stochastic
arithmetic.
Results are sought on both applied and fundamental questions.
Important topics discussed during these conferences include but are
not limited to:
* Foundation and properties of number systems
* Computability and complexity
* Formal aspects and automatic proof checking
* Links with number theory and automata theory
* Basic arithmetic operations
* Implementation of the standard and special functions
* Symbolic manipulation of numbers
* Accuracy and reliability for applications and industry
* Robust geometric algorithms and exact geometric computation
* Hardware design support and implementations
The conference will feature invited lectures and contributed talks.
Original research results and insightful analyses of current concerns
are solicited for submission. Survey and tutorial articles may be
suitable for submission if clearly identified as such.
Proceedings:
Instructions for how to submit are posted on the website of the
conference. The proceedings will be distributed at the conference and
registered with an ISBN number. The journal Information & Computation
will publish a special issue following RNC8.
Competition:
Following the competitions organized at the CCA2000 workshop
(http://cca-net.de/cca2000/) and the TYPES workshop in 2005
(http://www.cs.ru.nl/fnds/typesreal/), a friendly competition
will be organized during the conference. A separate email
will be sent soon. Please visit the following web site.
http://cfsp.univ-perp.fr/
Steering Committee:
Jean-Claude Bajard, Montpellier, France
Vasco Brattka, Cape Town, South Africa
Jean-Marie Chesneaux, Paris, France
Marc Daumas, Perpignan, France
Christiane Frougny, Paris, France
Guillaume Hanrot, Nancy, France
Peter Kornerup, Odense, Denmark (Chair)
Dominique Michelucci, Dijon, France
Jean-Michel Muller, Lyon, France
Norbert Mller, Trier, Germany
Paul Zimmermann, Nancy, France
Program Committee:
Elisardo Antelo, Santiago de Compostela, Spain
Nicolas Brisebarre, Lyon, France
David Bailey, Berkeley, USA
Yoginder Dandass, Mississippi State, USA
Martn Escard, Birmingham, United Kingdom
David Lester, Manchester, UK
Ren-Cang Li, Arlington, USA
Paolo Montuschi, Torino, Italy
Siegfried Rump, Hamburg, Germany
Josep Vehi, Girona, France
Organizing Committee:
Elisardo Antelo, Santiago de Compostela, Spain. Local arrangements
Javier D. Bruguera, Santiago de Compostela, Spain. Program co-chair
Marc Daumas, Perpignan, France. Program co-chair
_______________________________________________