## Types for probabilistic programs

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

## Semantics and Verification - Introductory talks

- 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.

## Semantics and Verification - Research talks

- 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.

## Combinatorics of words

- 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.