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]