A 3 minutes presentation I did not give at the ANITI SAB presentation, september 2021 (last minute change of program): https://www.dropbox.com/s/juuhj3ua9qn6z1m/Hippodrone%20final%20ANITI.mp4
A recent presentation (slides) I did at ROSCon fr, june 2021, video: (in french, sorry for the image/sound being desynchronized): https://peertube.laas.fr/videos/watch/59ff07a5-fc35-4eb9-bc4f-6c0083fcff1d
A presentation I did at FIRA2019 in Toulouse (in english) video: https://www.youtube.com/watch?v=p1jA5NZgt7o&list=PLcjFo52-qQyKgcUEAxKLRv...
A presentation I did at the Forum des Méthodes Formelles in 2017 (in french): http://projects.laas.fr/IFSE/FMF/J8/videos/fmf_11.mp4