Editorship

Co-editor in chief of Journal of Functional Programming.

Member of the editorial board of Journal of Automated Reasoning.

Member of the editorial board of Journal of Formalized Reasoning.

Program committees

1. European Symposium on Programming (ESOP) 2009
2. Commercial Users of Functional Programming (CUFP) 2007
3. European Symposium on Programming (ESOP) 2007
4. Asian Computing Science Conference 2006
5. Formal Methods 2006
6. ML Workshop 2005 (co-program chairman)
7. MetaOCaml Workshop 2005
8. Virtual Execution Environments conference (VEE) 2005
9. European Symposium on Programming (ESOP) 2005
10. Smart Card Research and Advanced Application Conference (CARDIS) 2004
11. Principles of Programming Languages 2004 (program chairman)
12. Foundations of Object-Oriented Languages 2003
13. Types in Language Design and Implementation 2003
14. Journées Francophones des Langages Applicatifs 2003
15. Smart Card Research and Advanced Application Conference (CARDIS) 2002
16. Principles of Programming Languages 2002
17. International Conference on Functional Programming 2001 (program chairman)
18. Compiler Construction 2001
19. International Conference on Functional Programming 2000
20. Programming Languages Design and Implementation 2000
21. European Symposium on Programming 2000
22. Principles and Practice of Declarative Programming 1999
23. Programming Language Implementation and Logic Programming 1998
24. Workshop Types in Compilation 1998 (program chairman)
25. Principles of Programming Languages 1998
26. Workshop Types in Compilation 1997
27. International Conference on Functional Programming 1997
28. Functional Programming and Computer Architecture 1995
29. Static Analysis Symposium 1994