Probabilistic Termination by Monadic Affine Sized Typing
Contributed talk at Journées Nationales Géocal – LAC 2016, Paris, Nov 28, 2016.

Introduction to higher-order verification II: modal mu-calculus, tree automata and parity games.
Introductory talk at the Sémantique et Vérification working group of LIAFA and PPS, Université Paris Diderot, December 11th, 2014.
Introduction to higher-order verification I: recursion schemes and terms
Introductory talk at the Sémantique et Vérification working group of LIAFA and PPS, Université Paris Diderot, November 27th, 2014.
Verification by typing
Talk at the PhD student seminar of LIAFA and PPS, June 25th, 2014.

Probabilistic extension of higher-order model-checking
Contributed talk at the thematic month Automata, Logic and Games, Institute for Mathematical Sciences, Singapore, Sep 22, 2016.
Semantics of linear logic and higher-order model-checking
Thesis defense, Paris, April 8, 2016.
A semantic study of higher-order model-checking
Contributed talk at the Journées Nationales GEOCAL-LAC-LTP 2015, Nancy, October 14, 2015.
Relational semantics of linear logic and higher-order model-checking
Contributed talk at the conference CSL, Berlin, September 8, 2015.
Categorical semantics of linear logic and higher-order model-checking
Seminar talk at Chocola, Lyon, April 9, 2015.
Coloured indexed linear logic and higher-order model-checking
Contributed talk at the workshop DOMAINS, September 10th, 2014.

On the coinductive nature of centralizers
Talk at the PhD student seminar of LIAFA and PPS, July 1, 2015. These slides are a slightly improved version of the ones of the lecture I gave in Turku in January 2015.