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

• On the infinitary proof theory of logics with fixed points, PhD thesis.
• Etudes des automates en Ludique, Master thesis.

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