Introduction

You will find below some presentation that were recorded.

Popularization (in french, some with English subtitles)

• Since June 2018, a Youtube Channel «Des travaux de recherche au LIP6» about some research work done at LIP6
  

English

• September 23, 2016 : «An Overview of Verification Techniques Today». Tutorial presented at the FrenchKit conference (2016 edition) organized in Paris.
  
• June 23, 2015 : «From Symmetric Nets to Symmetric Nets with Bags». Tutorial presented (with Souheib Baarir and Laure Petrucci) at the 36th International Conference on Application and Theory of Petri Nets and Concurrency organized in Brussels.
  
   
  
  You can also get this tutorial on iTunesU.
   
  
• June 27, 2014 : «BenchKit, a Tool for Massive Concurrent Benchmarking». Presented at the 14th International Conference on Application of Concurrency to System Design organized in Tunis. The corresponding paper is here.
  

Français

• May 10, 2016 : Building and verifying a quasi certification entity over Distributed Hash Tables , at journée OSIS - Sécurité, sûreté et confidentialité organized by Université Paris 13 and GT-LL.
  
• December 12, 2014 : «Model Checking et systèmes complexes, quelques réussites». Presented at the Matinale de l'Innovation organized by IRILL and the GT-LL of Systematic.