- 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
|