- Indexed Labels for Loop Iteration Dependent Costs (23/03/2013), presentazione ai workshops QAPL/CerCo, ETAPS 2013, Roma.
- A calculus of coercions proving the strong normalization of MLF (14/07/2010), presentazione al workshop HOR, Edimburgo, UK.
- Types and effects seen through linear logic (10/06/2010), presentazione all'incontro dei progetti PICS e CONCERTO, Torino.
- References, multithreading and differential nets (22/04/2010), presentazione all'interno del progetto Choco, Lione, Francia (versione alternativa della presentazione del 01/03).
- Types and Effects: from Monads to Differential Nets, Part II (01/03/2010), seminario per il gruppo LCR, LIPN, Paris 13.
- Differential Nets (23/02/2010), tutorial al workshop Geometric and Logic Approaches to Computation, Nancy.
- Types and Effects: from Monads to Differential Nets, Part I (01/02/2010), seminario per il gruppo LCR, LIPN, Paris 13.
- Parallel Reduction in Resource Lambda-Calculus (15/12/2009), presentazione ad APLAS.
- Differential Nets with Promotion: introduction and current results (23/10/2009), presentazione all'interno del progetto Complice, Lione, Francia.
- Confluence of Pure Differential Nets with Promotion (10/09/2009), presentazione a CSL 2009, Coimbra, Portogallo.
- Resource Calculus (22/05/2009), seminario per il gruppo di Formal Methods in Computing, Università di Torino.
- Confluence and normalization of differential nets with boxes (12/03/2009), presentazione all'interno del progetto Choco, Lione, Francia.
- A Characterization of Hypercoherent Semantic Correctness in MALL (17/09/2008), presentazione a CSL 2008, Bertinoro.
- Differential Nets: a Paradigm of Non-Determinism? (01/04/2008), presentazione all'Ecole Jeunes Chercheurs en Informatique Matematique (Aix-Marseille 2, versione alternativa della presentazione all'AILA).
- 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.