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

Uppsala, Sweden, 27-29 August 2003


Conference Chair

Konstantinos Sagonas, Uppsala University
email: kostis at it.uu.se

Program Chair

Dale Miller, INRIA/Futurs & École polytechnique
email: Dale.Miller at inria.fr

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

Topics (Not exhaustive)

Logic, Functional, and Constraint Programming
Object-Oriented Programming
Concurrent Extensions
Mobile Computing
Integration of Paradigms
Proof Theoretic and Semantic Foundations
Program Design and Development
Type and Module Systems
Program Analysis and Verification
Program Transformation
Abstract Machines and Compilation
Programming Environments
Application of Declarative Programming

Important Dates

Submission (strict deadline): 29 March 2003
Notification: 12 May 2003
Final Version: 13 June 2003

Web Sites

PPDP 2003: http://www.it.uu.se/ppdp03/
PLI 2003: http://www.it.uu.se/pli03/
PPDP: http://pauillac.inria.fr/~fages/PPDP/.

Previous PPDP Conferences

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

This call is available in DVI, postscript, and PDF formats.

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. This list is not exhaustive: submissions related to new and interesting ideas relating broadly to declarative programming are encouraged. Prospective authors are welcome to communicate with the Program Chair about the suitability of a specific topic.

Paper Submissions

Submissions must be made on or before 29 March 2003, midnight Central European Time: this deadline is strict. Papers must be no more than 12 pages (including bibliography and appendices) and in standard ACM conference format: detailed formatting guidelines are available on the web, along with formatting templates or style files for LaTeX, Word Perfect, and Word. Proceedings will be published by ACM Press. Authors of accepted papers will be required to sign the ACM copyright form. Submissions will be carried out electronically via the Web via a link found at the conference web page. Papers must be submitted in either PDF format or as PostScript documents that are interpretable by Ghostscript. Papers must describe original, previously unpublished work that has not been simultaneously submitted for publication elsewhere. They must be written in English, must have a cover page with an abstract of up to 200 words, keywords, postal and electronic mailing addresses, and phone and fax numbers of the corresponding author. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. Submissions that do not meet these guidelines may not be considered.

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 run from 25 - 29 August 2003. The meetings will take place on the Uppsala University campus.

Affiliated Workshops

Proposals are solicited for PLI 2003 affiliated workshops. The deadline for workshop proposals is 14 February 2003.

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.