[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

7th CONFERENCE ON REAL NUMBERS AND COMPUTERS (RNC7) [2nd call]



       Dear all,

I would like to mention to people on this list the 7th conference on
Real Numbers and Computers next July in Nancy (France).

Historically, this conference did bring together mostly european researchers.
Our goal for this edition is to open it much more to other countries (as you
can see with the 3 invited speakers, Richard Brent, Stuart Oberman and Vadim
Shapiro) and to other domains than just "real" numbers.

I thus encourage you to present your recent work at RNC7. Please forward to
people you know who might be interested. 

The submission deadline is February 15 (see below). A special issue in a
journal (still to be determined) will follow the conference.

Greetings,
Paul Zimmermann

##############################################################################


              Second call for papers

      Please distribute and accept our apologies
            if you receive multiple copies.


    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  are  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:

Elisardo Antelo, Santiago de Compostela, Spain
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
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

754 | revision | FAQ | references | list archive