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.phxfor teaching math andmlrev_cor.phxormlrev_quest.phxfor 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.