A few slides of some of the talks I have given:

Invited Talks

• Queries for Trees and Graphs: Static Analysis and Code Synthesis
  Invited talk, Univ. Fribourg, March 27th, 2018.
• On the Prediction of At-Risk Patient Profiles with Big Prescription Data
  Invited talk for the Data Science in the Alps Workshop, March 20th, 2018.

Some Conference Talks

• Expressive Logical Combinators For Free, Buenos Aires, July 2015, at IJCAI'15
• Reasoning with Style, Buenos Aires, July 2015, at IJCAI'15
• On the Analysis of Cascading Style Sheets, Lyon, April 2012, at WWW'12
• Query Reasoning with Types, Interleaving, and Counting, Barcelona, July 2011, at IJCAI'11
• Inconsistent Path Detection for XML IDEs, Honolulu, May 2011, at ICSE'11
• Identifying Query Incompatibilities with Evolving Schemas, Edinburgh, Sept 2009, at ICFP'09
• Efficient Static Analysis of XML Paths and Types, San Diego, June 2007, at PLDI'07

Invited Talks (before 2013)

• 2013, November - QCRI, Doha, Qatar
• 2013, February - LRI, Orsay, France: slides, css
• 2012, October - EPFL, Lausanne, Switzerland: slides
• 2012, May - Laboratoire d'Informatique Fondamentale (LIF) de Marseille, France
• 2008, November - Laboratoire de Spécification et Vérification (LSV), ENS Cachan
• 2007, December - University of Fribourg, Switzerland
• 2007, August - EPFL TRESOR Seminar, Lausanne, Switzerland
• 2006, December - Laboratoire d'Informatique Fondamentale (LIF) de Marseille, France
• 2004, March - Xerox Research Center Europe (XRCE), Meylan, France

Broader Audience

• 2008, May - Colloque en l'honneur de Louis Bolliet, Grenoble
• 2007, December - émission de radio diffusée le 26 décembre 2007 sur Radio France Internationale