Réunion finale
Arithmétique des Ordinateurs Certifiée
Mardi 11 et Mercredi 12 Juin 2002, Lyon
Participants
- Sylvie Boldo
- Didier Bondyfalat
- Nicolas Brisebarre
- Marc Daumas
- Guillaume Hanrot
- Philippe Langlois
- Vincent Lefèvre
- Nicolas Magaud
- Matthieu Martel
- Jean-Michel Muller
- Loïc Pottier
- Nathalie Revol
- Laurence Rideau
- Laurent Théry
- Paul Zimmermann
Programme (non définitif)
Mardi 11 Juin 2002
- Après-Midi : exposés ``techniques''
- 14h30 D. Bondyfalat : Calculs automatisés d'ulps
- 15h00 M. Martel : Présentation d'un logiciel pour l'étude
de la propagation des erreurs d'arrondi dans les calculs en précision finie
- 15h30 P. Zimmermann : Fast Two Sum revisited
- 16h00 pause
- 16h30 N. Brisebarre : Mesures d'irrationalité et dilemme du fabricant de tables
- 17h00 V. Lefèvre : Multiplication par une constante : minorants
Mercredi 12 Juin
Matin : exposés ``grand public''
10h00 L. Théry : Bibliothèque des flottants en Coq
10h30 D. Bondyfalat : Algorithme de division des grands entiers
11h00 N. Magaud : Vérification
formelle de l'algorithme et du programme de
calcul de racines carrées dans la bibliothèque GMP
11h30 S. Boldo : Enjeux et bénéfices de la validation de preuves en arithmétique
virgule flottante
Après-Midi
Discussion sur le bilan de l'action AOC, les moyens de la poursuivre et en
particulier les financements futurs
Informations pratiques
- Lieu : École Normale Supérieure de Lyon, 3e étage, amphi B.
- Plan d'accès
à l'École Normale Supérieure de Lyon.
- Hébergement : il est possible de loger sur place, merci de le
signaler
le plus rapidement possible pour réserver une chambre (double).
- Restauration : merci de
signaler
vos dates d'arrivée et de départ pour que nous puissions prévoir les repas.
[Page d'accueil]
Laurent Théry