Professional Activities


Editorial Boards
The Journal of Functional and Logic Programming
Steering Committees
Principles and Practice of Declarative Programming (chair)
Program committees
LOPSTR 2010: 20th International Symposium on Logic-Based Program Synthesis and Transformation, July 23-25, 2010, Hagenberg, Austria
WFLP 2010: 19th International Workshop on Functional and (Constraint) Logic Programming, January 17th, 2010, Madrid, Spain.
PPDP 2009: 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal.
WFLP 2009: The 18th International Workshop on Functional and (Constraint) Logic Programming, June 28, 2009, Brasilia, Brazil.
WRS 2009: 9th International Workshop on Reduction Strategies in Rewriting and Programming June 28, 2009, Brasilia, Brazil.
ICLP 2008: 24th International Conference on Logic Programming, Udine, Italy, December 9-13, 2008.
PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Valencia, Spain, July 15-17, 2008, (chair).
FLOPS 2008: Ninth International Symposium on Functional and Logic Programming, Ise, Japan, April 14-16, 2008.
WFLP 2007: The 16th International Workshop on Functional and (Constraint) Logic Programming, Paris, France, June 25th, 2007.
WRS07: 7th International Workshop on Reduction Strategies in Rewriting and Programming Paris, France, June 25, 2007
WFLP'06: The 15th International Workshop on Functional and (Constraint) Logic Programming, Madrid, Spain, November 16-17, 2006.
WRS06: 6th Int'l Workshop on Reduction Strategies in Rewriting and Programming, Seattle, Washington, USA, August 11 2006, (chair).
WCFLP 2005: Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, (co-chair).
WRS'05: 5th Int'l Workshop on Reduction Strategies in Rewriting and Programming, Nara, Japan, April 22, 2005
WFLP'04: 13th International Workshop on Functional and (Constraint) Logic Programming, Aachen, Germany, June 1-2, 2004.
WRS'04: 4th International Workshop on Reduction Strategies, in Rewriting and Programming Aachen, Germany, June 2, 2004, (co-chair).
WFLP'03: 12th Int'l Workshop on Functional and (Constraint) Logic Programming, Valencia, Spain, June 12-13, 2003.
WRS'03: 3rd Int'l Workshop on Reduction Strategies in Rewriting and Programming, Valencia, Spain, June 8, 2003.
WFLP'2002: 11th International Workshop on Functional and (Constraint) Logic Programming, Grado, Italy June 20-22, 2002.
WRS'2002: Second International Workshop on Reduction Strategies in Rewriting and Programming, Copenhagen, Denmark July 21, 2002.
PADL '02: Fourth International Symposium on Practical Aspects of Declarative Languages, Portland, Oregon (USA), Jan 19-20, 2002.
WFLP 2001: International Workshop on Functional and (Constraint) Logic Programming, Kiel (Germany), September 13-15, 2001.
PADL01: Third International Workshop on Practical Aspects of Declarative Languages, Las Vegas, Nevada (USA), March 11-12, 2001.
FLOPS 2001: Fifth International Symposium on Functional and Logic Programming, Tokyo (Japan), March 7-9, 2001.
CL 2000 stream in Theory and Extensions: First International Conference on Computational Logic, Imperial College, London (UK), July 24-28, 2000.
ALP'96: Fifth International Conference on Algebraic and Logic Programming, Aachen (Germany), September 25-27, 1996.
ILPS 95: International Logic Programming Symposium, Portland, Oregon (USA), December 4-7, 1995.
Invited talks
Evaluation Strategies for Functional Logic Programming, WRS 2001, International Workshop on Reduction Strategies in Rewriting and Programming, Utrecht, The Netherlands, May 26, 2001.
An Evening with Patterns, PJUG, Portland Java Users Group, Portland, Oregon, Nov. 28, 2000.



A committee is a group that keeps the minutes and loses hours.
-- Milton Berle