Third International Conference on Principles
and Practice of Declarative Programming
(PPDP 2001)

Firenze, Italy
5-7 September, 2001

Part of PLI 2001:
Colloquium on Principles, Logics, and Implementations of high-hevel programming languages

Conference Chair:

Rocco De Nicola
Universitá di Firenze, Italy
denicola@dsi.unifi.it

Program Chair:

Harald Søndergaard
Computer Science and Software Eng.
Univ. of Melbourne, Vic. 3010, Australia
harald@cs.mu.oz.au
Fax: + 61 3 9348 1184
Phone: +61 3 8344 9164

Email Contact and Web Site:

Email:
  ppdp01@cs.mu.oz.au
PPDP 2001 Conference:
  http://music.dsi.unifi.it/pli01/ppdp/

Program Committee:

Maria Alpuente, Universidad Politécnica de Valencia, ES
Yves Caseau, Bouygues, FR
Michael Codish, Ben-Gurion University of the Negev, IL
Saumya Debray, University of Arizona, US
Conal Elliott, Microsoft Redmond, US
Sandro Etalle, Universiteit Maastricht, NL
Roberto Giacobazzi, Universitá di Verona, IT
Michael Leuschel, University of Southampton, GB
John Lloyd, Australian National University, AU
Torben Mogensen, Københavns Universitet, DK
Alan Mycroft, Cambridge University, GB
Gopalan Nadathur, University of Minnesota, US
Martin Odersky, Ecole Polytechn. Féd. de Lausanne, CH
Catuscia Palamidessi, Pennsylvania State University, US
Andreas Podelski, Max-Planck-Inst. für Informatik, DE
Kostis Sagonas, Uppsala Universitet, SE
Christian Schulte, Universität des Saarlandes, DE
Michael Schwartzbach, Aarhus Universitet, DK
Harald Søndergaard, The University of Melbourne, AU
Peter J. Stuckey, The University of Melbourne, AU

Scope of the Conference

PPDP 2001 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 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. Prospective authors are welcome to communicate with the Program Chair about the suitability of a specific topic.

The technical program of the conference will combine presentations of the accepted papers with invited talks and advanced tutorials.

Paper Submissions

Authors should submit full papers on or before 15 March 2001 23 March 2001. Papers must describe original, previously unpublished work that has not been simultaneously submitted for publication elsewhere. They must be written in English, must contain a clearly delineated part intended for the proceedings not exceeding 15 pages and 11 pt font, or 12 pages and 9 pt (ACM conference format) 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.

All submissions are to be electronic unless specifically approved by the Program Chair. Papers must be submitted in PostScript or PDF format. Submission uses the START conference management system. The PPDP 2001 submission site has details about how to submit, as well as style files to be used by authors.

Authors will be notified of acceptance decisions by 7 May, 2001. Camera-ready copies of the accepted papers must be received by 11 June, 2001. 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 2001 is part of a federation of colloquia known as Principles, Logics and Implementations of high-level programming languages (PLI 2001) which includes the ACM SIGPLAN International Conference on Functional Programming (ICFP 2001). The colloquia and affiliated workshops will run from 2 September to 8 September, 2001. The venue for the conference is Firenze (Florence), one of Europe's most attractive cities, famous for its churches, galleries and museums.

Topics of Interest

Logic and Constraint Programming; Functional Programming; Object-Oriented Programming; Concurrent Extensions; Mobile Computing; Integration of Paradigms; 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.

Sponsorship

PPDP 2001 is sponsored by ACM SIGPLAN and supported by the European Association for Programming Languages and Systems (EAPLS) and the Association for Logic Programming (ALP).