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