Research Activities

I was vice chair of ACM SIGPLAN, the special interest group on programming languages. (2015-2018)

I am tutorial editor of the journal Journal of Functional Programming. (2017-2020)

I am chair of the steering committee of the European Symposium on Programming.

I was program chair of ESOP 2016, the European Symposium on Programming.

I was general chair of ICFP'12, the International Conference on Functional Programming.

I was program chair of ICFP'08, the International Conference on Functional Programming.

I was an editor of the journal Higher-Order and Symbolic Computations.

I was a member of the steering committee of the ACM International Conference on Functional Programming.

I am a member of the IFIP Working Group 2.8 (Functional Programming).

I was chairing the steering committee of the ACM symposium on Partial Evaluation and Semantics Based Program Generation from 2003-2005. The last events during my term were

• PEPM'04
• PEPM'06

I'm on the program committee for the following events, please submit a paper!

• (July 16-22, 2018) ECOOP 2018 The European Conference on Object-Oriented Programming
• lots of stuff missing
• (tbd) STOP 2011 --- 2nd International Workshop on Script to Program Evolution
• (January 22, 2010) TOOLS 2010 --- 48th International Conference on Objects, Models, Components, Patterns
• (June 15, 2009) APLAS 2009 --- The Seventh Asian Symposium on Programming Languages and Systems
• (May 3, 2009) DBPL 2009 --- 12th International Symposium on Database Programming Languages
• (April 8, 2009) STOP 2009 --- 1st International Workshop on Script to Program Evolution
• (November 28, 2008) LDTA 2009 --- Language Descriptions, Tools and Applications
• (October 9, 2008) ESOP 2009 --- European Symposium on Programming
• (April 2, 2008) ICFP'08, the International Conference on Functional Programming, September 22-24, 2008, Victoria, BC, Canada (PC chair)
• (December 19, 2007) ECOOP08, 22nd European Conference on Object-Oriented Programming, July 7-11 2008, Paphos, Cyprus
• (October 15, 2007) PLAN-X 2008 --- Programming Language Techniques for XML (PC chair)
• (July 16, 2007) Symposium on Principles of Programming Languages (POPL'08)
• (April 4, 2007) Symposium on Principles and Practice of Declarative Programming (PPDP'07)
• (May 5, 2006) Generative Programming and Component Engineering (GPCE'06) (co-located with OOPSLA'06)
• (January 21/28, 2006) SBLP 2006 - 10th SBLP - Simpósio Brasileiro de Linguagens de Programação (Brazilian Programming Language Symposium), Itatiaia, RJ, Brasil. May 15-17, 2006.
• (November 11, 2005) FLOPS 2006 - The Eighth International Symposium on Functional and Logic Programming, Fuji, Japan. 2006.
• (October 7/14, 2005) ESOP 2006 - European Symposium on Programming, Vienna, Austria, between March 26-31, 2006
• (August 19, 2005) 17th International Workshop on Implementation and Application of Functional Languages IFL 2005, Dublin, Ireland, September 12-14 2005
• (June 4, 2005) Workshop on Curry and Functional Logic Programming (WCFLP 2005) Tallinn, Estonia, September 29, 2005
• (April 13, 2005) ICFP 2005 - International Conference on Functional Programming, Tallinn, Estland, September 26-28, 2005
• (February 28, 2005) SBLP 2005 - 9th Brazilian Symposium on Programming Languages, Recife, PE, Brazil - May 23-25, 2005
• (August 20, 2004) 16th International Workshop on Implementation and Application of Functional Languages, IFL'2004, September 8-10, 2004, Lübeck, Germany
• (February 15, 2004) SBLP'2004, 2004, Niteroi, Brazil
• (October 17, 2003) ESOP 2004, March 27 - April 4, 2004, Barcelona, SPAIN
• (September 6, 2003) SAC'04 - ACM 2004 SYMPOSIUM ON APPLIED COMPUTING, March 14-17, 2004, Nicosia, Cyprus, Technical Track on Programming Languages
• (April 6, 2003) Second International Conference on Generative Programming and Component Engineering (GPCE'03), Erfurt, Germany, September 22-25, 2003
• (March 21, 2002) First ACM SIGPLAN Conference on Generators and Components (GCSE/SAIG'02), Pittsburgh, USA, 6-8 October 2002
• (January 15, 2002) Seventeenth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE, July 22nd - 25th, 2002, Copenhagen, Denmark
• (December 1, 2001) Special Issue Journal of Functional Programming: Dependent Type Theory Meets Programming Practice
• (October 8, 2001) 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02), Portland, Oregon, USA, January 14-15, 2002 (PC chair)
• (September 29, 2000) Fifth International Symposium on Functional and Logic Programming, Tokyo, Japan, March 7-9, 2001
• (March 20, 2000) WORKSHOP ON SUBTYPING & DEPENDENT TYPES IN PROGRAMMING, 6th July 2000, Ponte de Lima, Portugal
• (October 18, 1999) European Symposium on Programming, ESOP 2000
• The 1999 International Conference on Functional Programming (ICFP) Paris, France, September 27 - September 29, 1999
• 4th Fuji International Symposium on Function and Logic Programming, FLOPS99 Tsukuba, Japan, November 11-13, 1999
• Partial Evaluation: Practice and Theory, DIKU International Summer School '98, June 29 - July 10, 1998
• Joint International Symposia SAS'98 and PLILP/ALP'98
• ACM Computing Surveys, 1998 Symposium on Partial Evaluation
• Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs, September 3-5, 1997, University of Southampton
• PEPM'97, Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 9-13 1997