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