Information and Computation
Special issue on
Real Numbers and Computers

IMPORTANT DATES (tentative):

• Deadline for submissions of manuscripts: Dec 1st 2008 (full papers only; extended abstracts will be rejected)
• Notification of acceptance/rejection: Mar 1st 2009
• Deadline for reception of final papers: May 1th 2009

Efficient manipulation of real numbers in computers is still a challenge. Many theoretical and algorithmic problems are linked with that topic and belong to quite distant fields such as computer science, number theory, numerical analysis, computer algebra and logics. Several special issues on real numbers and computers have been previously published in journals as follow-up to the RNC meetings.

The last meeting was RNC8. It took place in Santiago de Compostella, Spain, in July 2008.

However, this call for papers is open to authors who did not attend RNC8.

TOPICS
Scientists working on questions related to real computer arithmetic are encouraged to present the theoretical or algorithmic aspects of their results, even if they did not attend the RNC8 conference. Survey and tutorial articles may be suitable if clearly identified as such. Topics include (but are not restricted to) the following list:

• 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

HOW TO SUBMIT
The submission should contain a scholarly exposition of ideas, techniques, and results, including motivation and a clear comparison with related work. Submissions must contain not substantially duplicate work published or submitted for publication elsewhere.

Prepare a PostScript or PDF version of your full paper preferably following Elsevier recommendations for the journal Information and Computation; these recommendations can be downloaded from the following site.

The file should be uploaded to EasyChair system using the following link before December 1st, 2008.

Make sure that your PostScript or PDF file can be printed on a standard printer.

Language: English.

Marc Daumas, Professeur des Universite ELIAUS
52, avenue Paul Alduy
F66860 Perpignan cedex
Phone: (+33) 4 68 66 21 25
Fax: (+33) 4 68 66 22 87
email marc.daumas@ens-lyon.org
URL http://eliaus.univ-perp.fr/~daumas

Back to the main menu of "Reliable Computing" (an International Journal) and other journals of interest to interval community

Back to the main menu of the Interval Computations website