Workshop in France

[Bernard Philippe]

WORKSHOP ANNOUNCE :

(This announce is in French because most of the talks will be given in
French)

Outils pour un calcul numerique fiable
Appel a communications

http://www-sop.inria.fr/prisme/fiable/workshop.html

22-24 septembre 1999 a Paris (Campus Jussieu)

Theme des journees :
-------------------
La notion de fiabilite des calculs recouvre deux situations differentes
:
        - dans le premier cas, on suppose que les donnees du probleme
sont exactement representees et on recherche une reponse s=FBre
(c'est-a-dire
prouvee). C'est le cas des calculs de geometrie tels que le placement
d'un
point par rapport a une droite, un cercle, un plan, etc. Ce domaine
contient
aussi la recherche de procedures de localisation de racines de polyn=F4me=
s

dans
le plan complexe.
        - dans le deuxieme cas au contraire, on admet l'existence d'une
incertitude sur les donnees. Il s'agit alors au minimum d'estimer
l'incertitude sur le resultat et dans le meilleur des cas de prouver des

bornes sur cette incertitude. La formulation du probleme pour avoir un
sens
doit alors supposer la continuite du resultat en fonction des donnees.

Dans les deux cas, on a recours a des techniques qui reposent
sur des outils communs.  En particulier les arithmetiques peuvent =EAtre
des aritmetiques entieres sur des nombres de longueur variable et non
bornee, des
arithmetiques flottantes de precision classique ou de precision
arbitraire, des
arithmetiques d'intervalle, etc. Les preuves d'encadrement reposent
aussi sur les
encadrements des fonctions elementaires ce qui n'est pas encore etabli
pour
toutes les fonctions usuelles. Dans le cas des calculs approches, il est

necessaire de qualifier le comportement des algorithmes ; cela peut se
faire
formellement par une analyse inverse des erreurs ou a posteriori sur un
jeu de
donnees par une analyse statistique.

L'action Fiable (action cooperative financee par l'Inria) a ete lancee
en juin
1996 sur ces themes. L'un de ses enjeux etait de
confronter le savoir-faire de la communaute utilisateurs des calculs
exacts a
celle
des calculs avec arrondis. Les algorithmes sont differents mais la
connaissance
d'un domaine rejaillit sur l'autre. Les journees feront le point sur les

resultats de
la confrontation. Elles seront organisees autour d'exposes de trois
sortes :
        - des exposes invites
        - des etats-de-l'art decrits par les membres de l'action
        - des exposes techniques de resultats de l'action ou des
communications
exterieures

Exposes invites :

    - Torbjorn Grandlund (GMP) : Current developments of the GNU MP
library
    - Jean-Claude Berges (CNES) :
    - Joris van der Hoeven (CNRS Orsay)
    - Andre Lieutier (Dassault Syst)
    - Famanta Randimbivololona (Aerospatiale)
    - Siegfried M. Rumps (U. Hambourg)
    - M. Vrahatis (U. Patras)

Organisateurs :
    - Jean-Marie Chesneaux (LIP6, Univ. Pierre et Marie Curie, Paris)
    - Jocelyne Erhel (Inria, Rennes)
    - Olivier Devillers (Inria, Sophia A.)
    - Bernard Mourrain (Inria, Sophia A.)
    - Jean-Michel Muller (ENS, Lyon)
    - Bernard Philippe (Inria, Rennes)
    - Paul Zimmermann (Inria, Nancy)



-------------
The compgeom mailing lists: see
http://netlib.bell-labs.com/netlib/compgeom/readme.html
or send mail to compgeom-request at research.bell-labs.com with the line:
send readme
Now archived at http://uiuc.edu/~sariel/CG/compgeom/threads.html.