- Indexed Labels for Loop Iteration Dependent Costs (23/03/2013), exposé au workshops QAPL/CerCo, Rome, Italy.
- A calculus of coercions proving the strong normalization of MLF (14/07/2010), exposé au workshop HOR, Edimbourg, UK.
- Types and effects seen through linear logic (10/06/2010), exposé au rencontre des projets PICS et CONCERTO, Turin, Italie.
- References, multithreading and differential nets (22/04/2010), exposé au séminaire Choco, Lyon (version alternative de l'exsposé du 01/03).
- Types and Effects: from Monads to Differential Nets, Part II (01/03/2010), séminaire groupe LCR, LIPN, Paris 13.
- Differential Nets (23/02/2010), tutorial pour le workshop Geometric and Logic Approaches to Computation, Nancy.
- Types and Effects: from Monads to Differential Nets, Part I (01/02/2010), séminaire groupe LCR, LIPN, Paris 13.
- Parallel Reduction in Resource Lambda-Calculus (15/12/2009), exposé à la conférence APLAS.
- Differential Nets with Promotion: introduction and current results (23/10/2009), exposé au rencontre Complice, Lyon.
- Confluence of Pure Differential Nets with Promotion (10/09/2009), exposé à CSL 2009, Coimbra, Portugal.
- Resource Calculus (22/05/2009), exposé pour le groupe Formal Methods in Computing, Università di Torino.
- Confluence and normalization of differential nets with boxes (12/03/2009), exposé au séminaire Choco, Lyon.
- A Characterization of Hypercoherent Semantic Correctness in MALL (17/09/2008), exposé à CSL 2008, Bertinoro, Italy.
- Differential Nets: a Paradigm of Non-Determinism? (01/04/2008), Exposé pour l'Ecole Jeunes Chercheurs en Informatique Matematique (Aix-Marseille 2).
- From Linear Logic to Differential Linear Logic (20/02/2008), XXIII incontro AILA, Genova.
- Denoting computation, a jog from Scott Domains to Hypercoherence Spaces (13/12/2006), séminaires thésards, PPS-LIAFA.