Troisième réunion
AOC

Arithmétique des Ordinateurs Certifiée



Jeudi 21 et Vendredi 22 Juin, Sophia

Participants

Yves Bertot
Sylvie Boldo
Didier Bondyfalat
Ethan Cotterill
David Daney
Marc Daumas
Claire Finot Moreau
Guillaume Hanrot
Vincent Lefèvre
Nicolas Magaud
Loïc Pottier
Laurence Rideau
Laurent Théry
Paul Zimmermann

Programme

Jeudi 21 Juin

9h00 Début
L. Théry : Présentation des deux journées
D. Daney: MPFR Développement et Applications
D. Bondyfalat: Algorithme de Division en Coq
G. Hanrot: MP (middle product)
12h00 Repas
N. Magaud: Algorithme de Racine Carrée en Coq
V. Lefèvre: Multiplication par une constante entière
Discussion
17h00 Fin

Vendredi 22 Juin

9h30 Début
L. Théry: Les Flottants en Coq
C. Finot-Moreau: Preuves et Algorithmes sur les Expansions de Nombres Flottants
S. Boldo: Preuves sur l'Arithmétique d'Expansions
12h Repas
M. Daumas: Formalisations en Arithmetique des Ordinateurs
Discussion
16h Fin

[Page d'accueil]
Laurent Théry