- 14h30-15h30 : Probabilities and formal proofs on floating-point arithmetic, Marc Daumas
- 15h30-16h30 : Exemple d'implantation de fonction mathématique sur ST240, Guillaume Revy
- 16h30-17h30 : Une application que j'aimerais qu'EVA-Flo traite pour moi, Florent de Dinechin
- 8h30-9h15 : Certification of the QR factor R, Gilles Villard
- 9h15-10h00 : Vers une implémentation automatiques de fonctions libm, Christoph Lauter
Optimizing polynomials for floating-point implementation : article en lien avec cette présentation - 10h30-11h15 : Calcul par intervalles sur GPU & Localité de valeur des arguments de fonctions élémentaires, Sylvain Collange
- 11h30-12h30 : discussion : mises au point et travaux futurs
