Professional Activities
Steering Committees
Principles and Practice of Declarative Programming, 2009-2013
(chair 2009-2011)
Program committees
WFLP 2019
27th International Workshop on Functional and (Constraint) Logic Programming,
September 9-13, 2019, Cottbus, Germany.
WFLP 2018
26th International Workshop on Functional and Logic Programming,
September 6, 2018, Frankfurt am Main, Germany.
PPDP 2018:
20th International Symposium on
Principles and Practice of Declarative Programming,
September 3-5, 2018, Frankfurt am Main, Germany.
WFLP 2017
25th International Workshop on Functional and (Constraint) Logic Programming,
September 19-22, 2017, Wuerzburg, Germany.
WFLP 2016
24th International Workshop on Functional and (Constraint) Logic Programming,
September 13-14, 2016, HTWK Leipzig, Germany.
LOPSTR 16:
26th International Symposium onLogic-Based Program Synthesis and Transformation,
Edinburgh, UK, September 6-8, 2016.
WFLP 2014:
23nd International Workshop on Functional and (Constraint) Logic Programming,
September 15-17, 2014, Leucorea, Lutherstadt Wittenberg, Germany.
ICLP 2014:
30th International Conference on Logic Programming,
July 19-22, 2014, 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.