Fifth ACM-SIGPLAN International Conference on
Principles and Practice of Declarative Programming

(Part of PLI'03)

Uppsala, Sweden, 27-29 August 2003

Conference Chair

Konstantinos Sagonas
Uppsala University
email: kostis at

Program Chair

Dale Miller
INRIA/Futurs & École Polytechnique
email: Dale.Miller at

Program Committee

Maria Alpuente, U. Politécnica de Valencia, ES
Alessandra Di Pierro, Univ. of Pisa, IT
Masami Hagiya, Univ. of Tokyo, JP
Fergus Henderson, Univ. of Melbourne, AU
Alberto Momigliano, Univ. of Leicester, UK
Benjamin Pierce, Univ. of Pennsylvania, US
C.R. Ramakrishnan, SUNY Stony Brook, US
Mario Rodríguez Artalejo, Univ. Complutense, ES
Amr Sabry, Indiana University, US
Konstantinos Sagonas, Uppsala University, SW
Frank Valencia, Uppsala University, SW

Invited Speakers

Bruno Blanchet (Max-Plank Institute)
Mogens Nielsen (BRICS, University of Aarhus)
Mitchell Wand (Northeastern University)

Conference Program

The final program is available here.

Previous PPDP Conferences

Paris (1999), Montreal (2000),
Firenze (2001), Pittsburgh (2002).

Scope of the Conference

PPDP 2003 aims to stimulate research in the use of logical formalisms and methods for analyzing, specifying, and performing computations. Of general interest are all aspects surrounding declarative programming languages such as logic programming, functional logic programming, and constraint programming. Topics of more specific interest are enhancements to such formalisms with mechanisms for concurrency, mobility, modularity, object-orientation, and static analysis, as well as the fuller exploitation of the programming-as-proof-search framework through new designs and improved implementation methods. At the level of methodology, the use of logic based principles in the design of tools for program development, analysis, and verification relative to all programming paradigms is of interest. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited.

Call For Papers and Submission Page

Important Dates

Date Deadline for
29/3 Paper Submission (strict deadline)
12/5 Notification of acceptance/rejection
13/6 Final Version Due

Conference Venue and Related Events

PPDP 2003 is part of a federation meeting known as Principles, Logics and Implementations of high-level programming languages (PLI 2003) which includes the ACM SIGPLAN International Conference on Functional Programming (ICFP 2003). PLI will take place at the main university building of Uppsala University.

Student Attendees

Students who have a paper accepted for the conference are offered student membership in SIGPLAN free for one year. As members of SIGPLAN they may apply for travel fellowships from the PAC fund.