 2019.09.13, Universidad de Buenos Aires A glimpse at intersection types
 2019.06.25, FSCD'19: Sequence types for hereditary permutators
 2019.03.19, Ecole Polytechnique: Exact measures of evaluation in classical natural deduction
 2018.07.09, LICS, Flocs 2018, Oxford: Every λterm is meaningful in the infinitary relational model.
 2018.07.07, HOR (invited talk), Flocs 2018, Oxford: Some applications of quantitative types inside and outside type theory .
 2018.06.10, séminaire de logique de l'I2M (Marseille): Representing permutations without permutations: the expressive power of sequence types.
 2017.12.07, Phd Defense, Université Paris Diderot: Nonidempotent typing operators, beyond the λCalculus
 2017.06.21, LICS, Reyjavik: Infinite Sequences as Intersection Types: a new answer to Klop’s Problem
 2016.12.01, Rencontres Chocola, ENS Lyon: Some Uses of Infinitary Intersection Types as Sequences.
A medley of three articles.
 2016.11.29, Geocal Meeting, Paris 7: Coinductive Intersection Types are Completely Unsound
Article version.
 2016.10.07, Elica Meeting, Bologna: Infinitary Intersection Types as Sequences (A New Answer to Klop’s Problem).
Article version.
 2016.06.25, HOR, Porto: The Expressive Power of Coinductive Rigid Types with nonIdempotent Intersection.
Article version.

2016.06.14, GDRI Linear Logic, Paris 7: Infinitary Intersection Types as Sequences (A New Answer to Klop’s Problem). See Elica Meeting 2016.