Troisième appel à soumissions

	Merci de bien vouloir diffuser cet appel autour de vous.
	Nous présentons nos excuses à ceux qui le recevraient en
	plusieurs exemplaires.

	7ème conférence sur les nombres réels et ordinateurs (RNC 7)
	10-12 juillet 2006
	LORIA, Nancy, France

NOTES:
	- la date de soumission a été repoussée d'une semaine.
	- un numéro spécial de Reliable Computing suivra la conférence.

Site web:  http://rnc7.loria.fr/

Dates:
        Soumission des manuscrits : 22 février 2006
        Notification d'acceptation: 22 avril 2006
        Articles révisés pour le  : 15 mai 2006
        Conférence                : 10-12 juillet 2006


Objectif:

Le  but de  ce symposium  est de  faire se  rencontrer des  spécialistes
provenant  de thèmes  de recherche  différents, tous  concernés par  des
problèmes liés  à des calculs basés  sur les nombres réels.  Ces calculs
peuvent  utiliser  un  système  de numération  arbitraire,  implanté  en
logiciel ou en matériel ; cela  inclut la virgule fixe et flottante, les
entiers, les  nombres rationnels ou p-adiques,  les fractions continues,
la  précision  fixe  ou   arbitraire,  l'arithmétique  d'intervalles  et
l'arithmétique stochastique.

Les  problèmes étudiés  sont tant  fondamentaux qu'appliqués.  Voici une
liste non exhaustive  de sujets importants évoqués  lors des précédentes
éditions :

  * Fondements et propriétés des systèmes de numération ; 
  * Calculabilité et complexité ; 
  * Aspects formels et 
  * Liens avec la théorie des nombres et la théorie des automates ; 
  * Opérations arithmétiques élémentaires ; 
  * Implantation des fonctions standard et spéciales ; 
  * Calcul symbolique sur les nombres ;
  * Précision et sûreté pour les applications et l'industrie ; 
  * Algorithmes géométriques robustes et calcul géométrique exact ; 
  * Conception matérielle et implantation. 

La  conférence donnera  lieu  à des  exposés invités  et  à des  exposés
contribués.  Nous  invitons  à   soumettre  tout  résultat  original  de
recherche,  ou  toute  analyse  éclairante  de  problèmes  de  recherche
actuels.  Les survols  ou des  articles didactiques  sont également  les
bienvenus, à condition d'être clairement identifiés comme tels.

Orateurs invités : 

* Richard P. Brent, Canberra, Australia
* Stuart Oberman, Santa Clara, United States
* Vadim Shapiro, Wisconsin, United States

Actes : 
Les instructions de soumission sont en ligne sur le site de la 
conférence. Les actes seront distribués lors de la conférence.          

Compétition : 
Dans la lignée des concours organisés à l'atelier CCA2000 
(http://cca-net.de/cca2000/) et à l'atelier TYPES en 2005
(http://www.cs.ru.nl/fnds/typesreal/), une compétition amicale
sera organisée au cours de la conférence. 

Comité de pilotage : 

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

Comité de programme :

Elisardo Antelo, Santiago de Compostela, Spain
Henk Barendregt, Nijmegen, The Netherlands
Vasco Brattka, Cape Town, South Africa
Nicolas Brisebarre, Saint-Étienne, France
Herve Brönnimann, New York, United States
Martín Escardó, Birmingham, United Kingdom
Guy Even, Tel Aviv, Israël
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)

Comité d'organisation :

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