Here you can find the slides of most of the presentations I gave.

• SMT2018 - 2018-07-12
• OCaml Meetup - 2017-09-26
• Seminaire LIRM Montpellier - 2017-09-22
• Ocaml Workshop at ICFP - 2017-09-08
• Séminaire Deducteam - 2016-03-11
• Séminaire au CEA - 2016-02-09
• Journées Nationales GeoCal-LAC-LTP - 2015-10-14
• TABLEAUX 2015 - 2015-09-22