Talks

December 2010 in Lyon: Arenaire Team Seminar
Formal Verification for Numerical Methods

November 2010 in Sophia Antipolis: PhD thesis defense
Formal Verification for Numerical Methods

July 2010 in Paris: Conferences on Intelligent Computer Mathematics - Calculemus 2010
Formally Verified Conditions for Regularity of Interval Matrices

May 2009 in Palaiseau: Typical Team Seminar
Interval Analysis in Coq

Octobre 2009 in Lyon: Rencontres Arithmétique de l'Informatique Mathématique
Vérification formelle et arithmétique réelle exacte

August 2009 in Munich: Theorem Proving in Higher Order Logics
Formal Verification of Exact Computations Using Newton's Method

May 2009 in Aussois, France: Types
Exact Computations with Newton's method in COQ (pretty much the same as above)

August 2008 in Montreal: Theorem Proving in Higher Order Logics
Canonical Big Operators

July 2008 in Manchester: Mathlogaps Workshop
Formal Proofs in Coq: Kantorovitch's Theorem

January 2008 in Étretat, France: Journées Francophones des Langages Aplicatifs
Vérification formelle du théorème de Kantorovitch