This contains some selected slides (very incomplete list).

By clicking on the title of the talk, you can download the slides.

Calcul d'une décomposition simpliciale isotopique à une variété algébrique lisse de P_n(R)
Séminaire at UPF (mars 2023)
Analyse grammaticale du français : des concepts théoriques ou de la bidoulle ?
Séminaire in Chambéry (january 2008)
PML and strong normalisation
conférence au workshop Types avril 2008, Turino, Italy. a web page is dedicated to this new proof assistant
PML: a new proof assistant
conférence au workshop Types may 2007, Cividale del Friuli (Udine), Italy. a web page is dedicated to this new proof assistant
PML a new proof assistant and deduction system. (avec René David)
Invited talk at PLMMS Worshop (june 2007, Hadenberg, Austria) (joined with Calculemus and MKM). This talk was previously given at TYPES (mai 2007, Udine, Italy) with shorter slides.
Some considerations about proof assistant in education
Talk at the PATE workshop (june 2007, Paris, France) (joined with RTA and RDP). This talk included two small demos, and you can find the Phox files here. The relevant file in this tar archive are image_inverse_et_directe.phx for teaching math and mlrev_cor.phx or mlrev_quest.phx for teaching compter science.
Peux-t-on avoir confiance en l'informatique
Conférence grand public a Chambéry, Annecy et Thonon les Bains en mai 2007.