Talks

In English

  • "The BWare Project: Building a Proof Platform for the Automated Verification
    of B Proof Obligations"

    ABZ'14, Toulouse (France), June 2014 [slides]
  • "Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo"
    GDR GPL, GT LTP, Bordeaux (France), November 2013 [slides]
  • "Automated Deduction Modulo"
    PSATTT'13 (invited talk), Palaiseau (France), November 2013 [slides]
  • "Tableaux Modulo Theories using Superdeduction: An Application to the Verification
    of B Proof Rules with the Zenon Automated Theorem Prover"

    Deducteam seminar, Paris (France), June 2012 [slides]
  • "Assisting Users of Proof Assistants"
    HDR defense, Paris (France), December 2010 [slides]
  • "Trusted Computer Mathematics within the Focalize Environment"
    MAP'10, Logroño (Spain), November 2010 [slides]
  • "A Formal and Sound Transformation from Focal to UML: An Application to Airport
    Security Regulations"

    UML&FM'08, Kitakyushu-City (Japan), October 2008 [slides]

In French

  • "Le projet BWare: une plate-forme pour la vérification automatique d'obligations de preuve B"
    AFADL'14, Paris (France), June 2014 [slides]
  • "Benchmarks pour les projets de BWare"
    BWare meeting, Paris (France), June 2013 [slides]
  • "Animation de sémantiques formelles définies inductivement"
    LIFL seminar, Lille (France), March 2013 [slides]
  • "Tableaux modulo théories en utilisant la superdéduction"
    ICube seminar, Strasbourg (France), March 2013 [slides]
  • "Tableaux modulo théories en utilisant la superdéduction : une application à la vérification de règles de preuve B avec l'outil de démonstration automatique Zenon"
    Loria seminar, Nancy (France), March 2012 [slides]
  • "Compilation de Focalize"
    Deducteam seminar, Paris (France), April 2011 [slides]
  • "Séminaire ENSEEIHT"
    ENSEEIHT seminar, Toulouse (France), February 2011 [slides]
  • "Une introduction à l'environnement Focal"
    Focal Day (organizer of the event), Paris (France), June 2009 [slides]
  • "Tutoriel Focal"
    JFLA'06 (invited tutorial), Pauillac (France), January 2006 [slides]