Steering Committees I am or I was involved in

• ETAPS European Joint Conferences on Theory and Practice of Software
  SC member since 2025.
• FSCD International Conference on Formal Structures for Computation and Deduction
  SC member during 2016-2024, SC Chair during 2018-2021.
• LSFA International Workshop on Logical and Semantic Frameworks with Applications
  SC member during 2015-2018.
• HOR International Workshop on Higher-Order Rewriting
  SC member during 2002-2019.
• IFIP IFIP Working Group 1.6: Rewriting
  Elected member since 2009.
• IFIP IFIP Working Group 2.2: Formal Description of Programming Concepts
  Elected member since 2023.
• EPIT Ecole de Printemps d'Informatique Théorique
  SC member during 2013-2019, SC Chair during 2016-2019.
• RTA International Conference on Rewriting Techniques and Applications
  SC member during 2004-2007.