Recent Talks (since 2002)

• Equipe Bases de Données, LRI, Mars 2002: Verification of trees properties
• Conférence E-management, Tunis, Avril 2002: La sécurité et le marché.
• Université de Geneve, CUI, Avril 2002: Verification of trees properties
• CMF02: Arcachon, Mai 2002: Testing tree properties
• Copenhagen, LICS, Juillet 2002: :Probabilistic abstraction
• Paris IHP, Novembre 2002: : Calculs et Mécanismes en Economie
• Taipei, Décembre 2002: : Definable strategies and equilibria for games (slides) Paper in .pdf
• Paris-Dauphine, : CMF 2003, June 2003: Back and forth in compressed structures
• Tokyo, Japan, NII, July 2003 The Correction of XML data (.pdf), or (.ps),
• Sapporo, Japan, July 2003 ISIP 2003 , The Correction of XML data (.pdf), or (.ps)
• Orsay, Novembre 2003 Algorithmique et Complexité
• EHESS Mars 2004 De l'Informatique outil au Langage Informatique créé par le Web et à la valeur de l'Information.
• CMF Mai 2004
• Marseille LIF, Mai 2004 Logique approchée.
• Turku, July 2004 (ICALP 2004) Property testing for regular tree languages.
• Paris, Mars 2005 (JFRO) Modèles desjeux et des mécanismes (.ppt), (.pdf)
• Crete, Mars 2005 Approximate schemas ,
• ISIP 2005, Lyon, Mars 2005 Approximate schemas and Query answering,
• CIRM (Marseille), Avril 2005 Approximate Verification (part 1, .pdf) ,(part 2, .pdf)
• Dagstuhl, Juillet 2005 Property and Equivalence testing of regular languages ,
• Digiteo, Supelec, Novembre 2005 Robustesse: approche des testeurs et correcteurs,
• Parisstic, Bordeaux, Novembre 2005 Vera: Vérification approchée,
• LRI (TAO), Novembre 2005 Property testing and Learning on Words and Trees,
• Fudan University, Shanghai, Feb. 2006:Approximate Data Exchange (.ppt),(.pdf).
• UNSW, Sydney, March. 2006: (.pdf).
• LICS 2006, Seattle, August 2006: Approximate Satisfiability and Equivalence(.pdf).
• Knowledge Media Science 2006, Landsberg Castle, Meiningen, 2006: Approximate Data Integration and Learning(.pdf).
• ICDT 2007, Barcelona, 2007: Approximate Data Exchange(.pdf).
• WAIM 2008 (China) and 3rd Franco-Japanese Workshop: Approximate Validity on Streaming data(.ppt).
• ENS Cachan: Approximate satisfiability and Equivalence(.ppt).