Important dates:

September 2-5: ICFP programming contest to which we are invited to participate.

Early registration: extended deadline August 27.

Presentation

The international conference on Principles and Practice of Declarative Programming (PPDP) represents the union of two former conferences: Programming Languages, Implementations, Logics and Programs (PLILP) and Algebraic and Logic Programming (ALP). In continuation of the tradition of PLILP/ALP, PPDP aims to stimulate research on the use of declarative methods in programming and on the design, application and implementation of programming languages that support such methods.

• Conference program
• Venue and Registration
• Conference organization
• Call for papers (available also in LaTeX or Postscript )
• Steering Committee and previous conferences
• Location
• Sponsors

Venue and Registration

Conference Organization

Conference Chair:

Francois Fages (CNRS, ENS, Paris)

Program Chair:

Gopalan Nadathur (University of Chicago, USA)

Program Committee:

Martín Abadi (Systems Research Center, Compaq, Palo Alto, USA)
María Alpuente (Universidad Politécnica de Valencia, Spain)
Mats Carlsson (SICS, Sweden)
Iliano Cervesato (Stanford University, USA)
Bart Demoen (Katholieke Universiteit Leuven, Belgium)
Sandro Etalle (Universiteit Maastricht, Netherlands)
François Fages (LIENS, France)
Manuel Hermenegildo (Universidad Politécnica de Madrid, Spain)
Patricia Hill (University of Leeds, UK)
Joxan Jaffar (National University of Singapore, Singapore)
Bharat Jayaraman (SUNY Buffalo, USA)
Xavier Leroy (INRIA, France)
Pierre Lescanne (ENS Lyon, France)
Eugenio Moggi (University of Genova, Italy)
Tobias Nipkow (Technische Universität München, Germany)
Francesca Rossi (University of Padova, Italy)
Harald Søndergaard (University of Melbourne, Australia)
David S. Warren (SUNY Stony Brook, USA)
Nobuko Yoshida (University of Sussex, UK)

Registration Chair:

Annick Theis-Viemont (INRIA, Rocquencourt)

Location

Sponsors

Additional support

ALP