Logic List Mailing Archive

7th Conference on Real Numbers and Computers (RNC7), Nancy, July 2006

First call for papers

    7th CONFERENCE ON REAL NUMBERS AND COMPUTERS (RNC7)
            July 10-12, 2006
            LORIA, Nancy, France

Website:  http://rnc7.loria.fr/

Dates:
        Submission of manuscripts:  February 15, 2006
        Notification of acceptance: April 22, 2006
        Revised Papers required by: May 15, 2006
        Conference:                 July 10-12, 2006


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.

Invited Speakers:

* Richard P. Brent, Canberra, Australia
* Stuart Oberman, NVIDIA, Santa Clara, USA
* Vadim Shapiro, Madison, Wisconsin, USA

Proceedings:

Instructions for  how to submit will  be posted on the  website of the
conference.  The  proceedings will  be distributed at  the conference.

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.

Steering Committee:

Jean-Claude Bajard, Montpellier, France
Vasco Brattka, Cape Town, South Africa
Jean-Marie Chesneaux, Paris, France
Marc Daumas, Lyon, France
Christiane Frougny, Paris, France
Peter Kornerup, Odense, Denmark (Chair)
Dominique Michelucci, Dijon, France
Jean-Michel Muller, Lyon, France
Norbert M?ller, Trier, Germany

Program Committee (to be confirmed):

Henk Barendregt, Nijmegen, The Netherlands
Vasco Brattka, Cape Town, South Africa
Nicolas Brisebarre, Saint-Etienne, France
Herve Br?nnimann, New York, United States
Mart?n Escard?, Birmingham, United Kingdom
Guy Even, Tel Aviv, Israel
Christiane Frougny, Paris, France
Guillaume Hanrot, Nancy, France (co-chair)
Peter Kornerup, Odense, Denmark
Paolo Montuschi, Torino, Italy
Peter Montgomery, Seattle, United States
Norbert M?ller, Trier, Germany
Michael Parks, Santa Clara, United States
Siegfried Rump, Hamburg, Germany
Paul Zimmermann, Nancy, France (co-chair)


Organizing Committee:

Anne-Lise Charbonnier, Nancy, France
Armelle Demange, Nancy, France
Laurent Fousse, Nancy, France
Guillaume Hanrot, Nancy, France
Vincent Lef?vre, Nancy, France
Norbert M?ller, Trier, Germany
C?line Simon, Nancy, France
Emmanuel Thom?, Nancy, France
Paul Zimmermann, Nancy, France