- Constructive completeness for the linear-time mu-calculus, LICS 2017, Reykjavik. Kleene Award 2017.
- Infinitary Proof Theory: the Multiplicative
Additive Case, CSL 2016, Marseille.
- Towards completeness via proof seach in the linear time mu-calculus, LICS 2016, New York.
- Least and greatest fixed points in Ludics, CSL 2015, Berlin.
- On the dependencies of logical rules, FoSSaCS 2015, London.

- Infinitary Proof Theory: the Multiplicative Additive Case, CSL 2016, Marseille.
- Towards completeness via proof seach in the linear time mu-calculus, LICS 2016, New York.
- On the proof theory of circular proofs, Shonan Meeting 2015 (HOMC), Tokyo.
- Least and greatest fixed points in Ludics, CSL 2015, Berlin.
- On the dependencies of logical rules, FoSSaCS 2015, London.