Valérie Ménissier-Morain Associate professor Paris 6 university, France (UPMC) LIP6 (Laboratoire d'informatique de l'Université Paris 6: CNRS, UMR 7606) Calsci department SPIRAL team

Research thema: arithmetic and safety programming

• Exact arithmetic
• Mechanized formal proof
• Certified symbolic computation
• Numerical quality of floating point arithmetic

Books (in french)

• My programming course Apprentissage de la programmation avec OCaml with Catherine Dubois
• The annals of the Environnement de Développement course in Paris 6 university with Christian Queinnec and Guénaël Renault, Paracamplus publisher

Slides of some talks (in french)

• Slides and bibliography about floating point arithmetic for the FOC working group on july 2002
• Synthetic slides about real arithmetic, Spiral working group, june 2007

RNC'08 conference at Santiago de Compostela 7-9 july 2008

• My photos