• Scientific committee or organizer: SLALM 2019, FunLeP 2019.
• Co-chair: SBLP 2019,
• Program committee: SBLP 2020, POPL 2020, CoqPL 2018, ICFP 2017, Coq Workshop 2016, HOPE 2016.
• External review committee: ICFP 2020, ICFP 2016.
• Invited talks: Keynote of SBLP 2019.