Steering Committees I am or I was involved in
- FSCD International Conference on Formal Structures
for Computation and Deduction
SC member since 2016, SC Chair since 2018.
- LSFA International Workshop on Logical and Semantic Frameworks with Applications
SC member since 2015.
- HOR International Workshop on Higher-Order Rewriting
SC member since 2002.
- IFIP IFIP Working Group 1.6: Rewriting
Elected member since 2009.
- EPIT Ecole de Printemps d'Informatique Théorique
SC member since 2013, SC Chair since 2016.
- RTA International Conference on Rewriting Techniques and Applications
SC member during 2004-2007.