Important Dates March 21, 2002 submission FIRM deadline May 30, 2002 acceptance decisions June 30, 2002 Camera-ready copies October 6-8, 2002 Conference

Important links Submitting a paper to PPDP PPDP Call for paper The PPDP conferences PLI Web site

---

Conference Chair: Frank Pfenning CMU, USA  Program Chair: Claude Kirchner LORIA and INRIA 615, rue du Jardin Botanique, BP 101  54602 Villers-lès-Nancy, FRANCE Claude.Kirchner@loria.fr Phone: +33 3 8359 3011  Email Contact and Web Site: Paper submission:   Email: ppdp-2002@loria.fr   URL: http://ppdp-2002.loria.fr/ PPDP 2002 Conference:   Email: ppdp-2002@cs.cmu.edu   URL: http://pli2002.cs.brown.edu/

Program Committee: Hassan Ait Kaci: ILOG, France Olivier Danvy: BRICS, University of Aarhus, Denmark Mariangiola Dezani: Universita di Torino, Italy Francois Fages: INRIA, France Fergus Henderson: The University of Melbourne, Australia Manuel Hermenegildo: University of Madrid, Spain Andrew Gordon: Microsoft Research, UK Amy Felty: University of Ottawa, Canada Claude Kirchner: LORIA & INRIA, France Paul Klint: CWI, The Netherlands Michael Maher: Griffith University, Australia and Loyola University Chicago, USA Dale Miller: The Pennsylvania State University, USA Roberto Nieuwenhuis: University of Barcelona, Spain Frank Pfenning: CMU, USA Francesca Rossi: University of Padova, Italy Invited Speakers: Neil Jones Catuscia Palamidessi Janos Sztipanovits

Scope of the Conference

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 logic, functional, constraint, probabilistic, rule and object-oriented programming; concurrent extensions 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. This list is not exhaustive: submissions related to new and interesting ideas relating broadly to declarative programming are encouraged. The technical program of the conference will combine presentations of the accepted papers and system descriptions with invited talks and advanced tutorials. Previous PPDP meetings were held in Paris (1999), Montreal (2000), Firenze (2001).

Paper Submissions

Submissions must be received on or before March 21, 2002 (this is a HARD deadline) and must describe original, previously unpublished work that has not been simultaneously submitted for publication elsewhere.
They must be written in English and, in case the work is accepted for presentation and publication, one of the author must attend the conference to present it.
Submissions must contain a clearly delineated part intended for the proceedings not exceeding 12 pages and 9 pt (for a full description see the ACM conference format at http://www.acm.org/sigplan/conferences/author-info) and 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. Additional material for possible consideration by reviewers may be included in the form of appendices.
Submitted papers can be either:
Regular papers that will be judged in particular on originality, correctness and significance, or
System descriptions. that will be judged in particular on usefulness and design, originality of system design, implementation or application. They must contain a link to a working system.

All submissions are to be electronic unless specifically approved by the Program Chair.
Submissions in PostScript or PDF formats should be submitted via the conference management system as described on the web site.
Authors will be notified of acceptance decisions by May 30, 2002
Camera-ready copies of the accepted papers must be received by June 30, 2002.
Proceedings will be published by ACM Press. Authors of accepted papers will be required to sign the ACM copyright form, which will be made accessible from this site.

Conference Venue and Related Events

PPDP 2002 is part of a federation of colloquia known as Principles, Logics and Implementations of high-level programming languages (PLI 2002) which includes the ACM SIGPLAN International Conference on Functional Programming (ICFP 2002). The colloquia and affiliated workshops will run from October 4 to October 8, 2002 and will be held in Pittsburgh, USA. Details about the affiliated conferences and workshops will appear at the URL http://pli2002.cs.brown.edu/.

Topics of Interest

Logic and Constraint Programming; Rule Programming; Object-Oriented Programming; Concurrent Programming; Mobile Computing; Specification Languages and Methods; Type and Module Systems; Program Logics and Verification; Program Analysis and Transformation; Abstract Machines and Compilation Methods; Parallel and Distributed Implementations; Programming Environments; Applications of Declarative Programming; Implementation Techniques; Logical and Semantical Aspects of Declarative Programming; Declarative and probabilistic programming.

Sponsorship

PPDP 2002 is sponsored by ACM SIGPLAN.