Professional Activities


Steering Committees
Principles and Practice of Declarative Programming, 2009-2013 (chair 2009-2011)
Program committees
ICLP 2014: 30th International Conference on Logic Programming, July 19-22, Vienna, Austria.
LOPSTR 2013: 23rd International Symposium on Logic-Based Program Synthesis and Transformation, September 18-20, 2013, Madrid, Spain.
PPDP 2013: 15th International Symposium on Principles and Practice of Declarative Programming, September 16-18, 2013, Madrid, Spain.
WFLP 2013: 22nd International Workshop on Functional and (Constraint) Logic Programming, September 11-13, 2013, Kiel, Germany.
TFP 2013: 14th International Symposium Trends in Functional Programming, May 14-16, 2013, Provo, Utah, USA.
LOPSTR 2012: 22nd International Symposium on Logic-Based Program Synthesis and Transformation, September 18-20, 2012, Leuven, Belgium.
ICLP 2012: 28th International Conference on Logic Programming, September 4-8, 2012, Budapest, Hungary.
WFLP 2012: 21st International Workshop on Functional and (Constraint) Logic Programming, May 29, 2012, Nagoya, Japan.
WFLP 2011: 20th International Workshop on Functional and (Constraint) Logic Programming, July 19, 2011, Odense, Denmark.
PPDP 2011: 13th International Symposium on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark.
PPDP 2010: Principles and Practice of Declarative Programming 12th International ACM SIGPLAN Symposium, July 26-28, 2010, Hagenberg, Austria.
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.