This page is designed to be the permanent home page of the PPDP series of International Conferences on Principles and Practice of Declarative Programming.

PPDP is an annual programming language conference that was created in 1999 as the union of two former conferences: Programming Languages, Implementations, Logics and Programs (PLILP) and Algebraic and Logic Programming (ALP).

Continuing the tradition of PLILP/ALP, PPDP aims to stimulate research on the use of declarative methods in programming, and on the design, implementation and application of programming languages that support such methods. Topics of interest include any aspect related to understanding, integrating and extending programming paradigms such as those for functional, logic, constraint and object-oriented programming; concurrent programming and mobile computing; type theory; support for modularity; use of logical methods in the design of program development tools; program analysis and verification; abstract interpretation; development of implementation methods; application of the relevant paradigms and associated methods in industry and education.

PPDP aims to complement other more focused programming language conferences by offering a forum for discussion and cross-fertilization of ideas to researchers working on various paradigms or on different aspects of declarative programming.

Contents

• Scope
• Past, current and future PPDP conferences
• The PPDP administrative structure
• Related conferences and workshops
• Other relevant pointers

Scope

• Functional programming
• Logic programming
• Rule-based programming
• Constraint programming
• Concurrent programming
• Mobile computing
• Object-oriented programming
• Type and module systems
• Program logics and verification
• Program analysis and transformation
• Abstract machines and compilation methods
• Parallel and distributed implementations
• Programming environments

Past, Current and Future PPDP Conferences

• PPDP 2005 Seventh International Conference on Principles and Practice of Declarative Programming, Lisboa, Portugal (11-13 July 2005).
  

• PPDP 2004 Sixth International Conference on Principles and Practice of Declarative Programming, Verona, Italy (24-26 August 2004).

• PPDP 2003 Fifth International Conference on Principles and Practice of Declarative Programming, Uppsala, Sweden (27-29 August 2003).

• PPDP 2002 Fourth International Conference on Principles and Practice of Declarative Programming, Pittsburgh, USA (6-8 Oct. 2002).

• PPDP 2001 Third International Conference on Principles and Practice of Declarative Programming, Florence, Italy (5-7 Sep. 2001).
  

• PPDP 2000 Second International Conference on Principles and Practice of Declarative Programming, Montreal, Canada (20-22 Sep. 2000).

The second PPDP conference in Montreal welcomed 85 participants, 48 from Europe, 29 from North America and 9 from other countries. 56 participants registered to both PPDP and ICFP. 65 papers were submitted, among which 26 were selected.
 
• PPDP'1999 First International Conference on Principles and Practice of Declarative Programming, Paris, France (29 Sep.-1st Oct. 1999).

The first PPDP conference welcomed 126 participants from 24 different countries, and about 85 participants from Europe and 30 participants from America. Among the participants, 35 were students. About 70 participants registered to both PPDP and ICFP with which PPDP'99 was co-located. 55 papers were submitted, among which 22 were selected.
 
• SAS/PLILP/ALP '98 Pisa, Italy (11-18 Sep. 1998).
• PLILP/ALP/DPLE/HOA '97 Southampton, UK (3-5 Sep. 1997).
• SAS/PLILP/ALP'96 Aachen, Germany (24-27 Sep. 1996).
• PLILP'95 Uthrecht, The Netherlands (20-22 Sep. 1995).
• PLILP/ALP'94, Madrid, Spain (14-16 Sep. 1994).
• Complete lists of PLILP and ALP conferences.

The PPDP Administrative Structure

The PPDP Steering Committee

The PPDP Steering Committee provides oversight and year-to-year  continuity to the conference. The main charges of the Steering Committee are:

• To anticipate the evolution of the conference and take appropriate actions for its long-term development.
• To act as PPDP's voice with our sponsoring and partner organizations.
• To choose a suitable period and location each year in consultation with other programming language conferences.
• To appoint a Conference Chair and a Program Chair each year and offer them advice and help in the organization.

The Steering Committee elects a Chair each year from amongst its members. This Chair serves a term from the end of one Annual Meeting to the end of the next.

The first Steering Committee for PPDP was formed in 1999 by an amalgamation of the Steering Committees of PLILP and ALP, the two parent conferences. In the future, the Steering Committee will be composed of the Conference and Program Chairs of the past five meetings of the conference. At each Annual Meeting, the two senior most members of the Committee are replaced by the respective chairs of the meeting to take place the following year.
The current Steering Committee members are

• Franck van Breugel , York University, Toronto, Canada
• Rocco De Nicola , University of Florence, Italy
• Pierre Deransart, INRIA Rocquencourt, France
• François Fages , INRIA Rocquencourt, France
• Chairman Maurizio Gabbrielli , University of Udine, Italy
• Michael Hanus , University of Kiel, Germany
• Manuel Hermenegildo , UPM Madrid, Spain
• Vice-Chairman Claude Kirchner, LORIA, Nancy, France
• Hélène Kirchner , LORIA, Nancy, France
• Karl Meinke, Royal Intitute of Technology, Stockholm, Sweden
• Dale Miller, INRIA Futur and Ecole Polytechnique, France
• Eugenio Moggi, University of Genova, Italy.
  
• Gopalan Nadathur , University of Minnesota, USA.
• Catuscia Palamidessi , INRIA Futur, France
• Frank Pfenning, Carnegie Mellon University, Pittsburgh, USA
• Kostis Sagonas, University of Uppsala, Sweden
• Harald Søndergaard , University of Melbourne, Australia
• David Warren, State University of New York at Stony Brook, USA.
  

Past members:

• Maurice Bruynooghe, University of Leuven, Belgium.
• Hugh Glaser, University of Southampton, UK.
• Herbert Kuchen , University of Münster, Germany
• Pierre Lescanne, ENS Lyon, France
• Giorgio Levi, University of Pisa, Italy
• Jan Maluszynski, University of Linköping, Sweden
• Jaan Penjam, Tallinn Tech Univ, Estonia.
• Mario Rodriguez-Artalejo , University of Madrid, Spain

Conference and Program Chair

The Steering Committee appoints a Conference and Program Chair for each annual meeting approximately 18 months before the conference.

The Conference Chair has the responsibility of organizing the meeting in liaison with collaborating conferences/workshops and sponsoring agencies.

The Program Chair has the responsibility of constituting a Program Committee and for determining the technical aspects of the meeting in consultation with this committee.

Related Conferences and Workshops

• Principles, Logics, and Implementations of high-level programming languages (PLI 2003)
• Principles, Logics, and Implementations of high-level programming languages (PLI 2002)
• Principles, Logics, and Implementations of high-level programming languages (PLI 2001)
• Principles, Logics, and Implementations of high-level programming languages (PLI 2000)
• Principles, Logics, and Implementations of high-level programming languages (PLI 1999)
• The ACM Calendar of Events lists important conferences and events in the computer science field, and the ACM page has a wealth of useful information.
• The SIGPLAN page has pointers to the major SIGPLAN conferences.

Other relevant pointers

• COMPULOG Americas.
• The European Association for Programming Languages and Systems.
• The European 5th PCRD Network of Excellence on Computational Logic COLOGNET,
  
• The Association for Logic Programming.