5th CONFERENCE ON REAL NUMBERS AND COMPUTERS (RNC'5)
www.ens-lyon.fr/LIP/Arenaire/RNC5
September 3-5, 2003
École Normale Supérieure de Lyon
Lyon, France
Dates:
Submission
of manuscripts: 31 March 2003
Notification of acceptance / rejection:
15 May 2003
Revised
Papers required by: 14 July 2003
Conference:
3-5 September 2003
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, "serial", "on line", continued fractions, "exact", 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
* Engineering of floating and fixed point algorithms
* 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.
Invited speakers:
Peter Markstein,
Hewlett-Packard, United States
John Harrison,
Intel, United States
Proceedings and special issue:
Instructions for how to submit will be posted on the website of the conference.
The proceedings will be distributed at the conference. They will be published
electronically by INRIA .
A special issue on real numbers and computers of Elsevier's journal Theoretical Computer Science (TCS) is to follow the conference. Authors of the conference will be strongly encouraged to propose expanded work for review and inclusion.
Steering Committee:
Jean-Claude Bajard, Montpellier, France
Jean-Marie Chesneaux, Paris, France
Christiane Frougny, Paris, France
Peter Kornerup, Odense, Denmark (chair)
Dominique Michelucci, Dijon, France
Jean-Michel Muller, Lyon, France
Program Committee:
Jean-Paul Allouche, Orsay, France
Jean-Claude Bajard, Montpellier, France
Vasco Brattka, Hagen, Germany
Jean-Marie Chesneaux, Paris, France
Marc Daumas, Lyon, France (chair)
James Demmel, Berkeley, United States
Milos Ercegovac, Los Angeles, United States
Martin Escardo, Birmingham, United Kingdom
Christiane Frougny, Paris, France
Peter Kornerup, Odense, Denmark
Philippe Langlois, Perpignan, France
Dominique Michelucci, Dijon, France
Michael Parks, Sun, United States
Siegfried Rump, Hamburg, Germany
David Russinoff, AMD, United States
Laurent Thery, Sophia Antipolis, France
Chee Yap, New York, United States
Organizing Committee:
Nicolas Brisebarre, Lyon, France
Claude-Pierre Jeannerod, Lyon, France
Nathalie Revol, Lyon, France
Gilles Villard, Lyon, France (chair)