Eighth ACM-SIGPLAN International Symposium on
Principles and Practice of Declarative Programming (PPDP'06)


Venice, Italy, 10-12 July 2006


Scope of the Symposium

PPDP 2006 aims to provide a forum that brings together those in the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the "semantic web". The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, and to stimulate cross-fertilization by including work from one community that could be of particular interest and relevance to the others.


Topics of more specific interest are enhancements to such formalisms with mechanisms for mobility, modularity, concurrency, object-orientation, security, and static analysis. 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 declarative 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 encouraged to communicate with the Program Chair about the suitability of a specific topic. A not exaustive list of topics includes:

Logic, Constraint, and Functional Programming;
Database, AI and Knowledge Representation Languages;
Visual Programming;
Executable Specification Languages;
Applications of Declarative Programming;
Methodologies for Program Design and Development;
Declarative Aspects of Object-Oriented Programming;
Concurrent Extensions to Declarative Languages;
Declarative Mobile Computing;
Integration of Paradigms;
Proof Theoretic and Semantic Foundations;
Type and Module Systems;
Program Analysis and Verification;
Program Transformation;
Abstract Machines and Compilation;
Programming Environments

Submission Guidelines

Papers should be submitted to the submission website for PPDP'06. Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files for LaTeX, Word Perfect, and Word: http://www.acm.org/sigs/pubs/proceed/template.html Authors of accepted papers will be required to sign the ACM copyright form.
For more details see the call-for-papers.

Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. They must describe original, previously unpublished work that has not been simultaneously submitted for publication elsewhere. 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.

Important Dates

Submission    27 March 2006

Notification    22 April 2006

Final version    May 2006

Program Chair

Michael Maher (National ICT Australia)
email: michael.maher@nicta.com.au

Program Committee

Nick Benton (Microsoft Research, UK)
Annalisa Bossi (U. Ca' Foscari di Venezia, Italy)
Manuel Chakravarty (U. NSW, Australia)
Bart Demoen (K. U. Leuven, Belgium)
Moreno Falaschi (U. Siena, Italy)
Radha Jagadeesan (DePaul U., USA)
Bharat Jayaraman (SUNY Buffalo, USA)
Yukiyoshi Kameyama (U. Tsukuba, Japan)
Andy King (U. Kent, UK)
Francois Laburthe (Bouyges, France)
David Sands (Chalmers U., Sweden)
Christian Schulte (KTH, Sweden)
Pascal Van Hentenryck (Brown U., USA)
Roland Yap (NUS, Singapore)

Invited Speakers

Simon Peyton Jones (Microsoft Research, Cambridge, UK)
Vladimiro Sassone (Univerisity of Southampton, UK)

Invited Tutorialist

Thom Frühwirth   (University of Ulm, Germany)


Symposium Chair
Annalisa Bossi, U. Ca' Foscari di Venezia
email: bossi@dsi.unive.it

Publicity Chair
Agostino Cortesi, U. Ca' Foscari di Venezia
email: cortesi@unive.it

Conference Secretariat  
Key Congress & Communication Srl
via Makalle', 75 - 35138 Padova, Italy
Tel. +39 049 872 95 11 || +39 049 872 95 21     Fax. +39 049 872 95 12
E-mail: a.caldon@keycongress.com || icalp2006@keycongress.com

PPDP'06 will be co-located with the 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006) and the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006).


Home page of the PPDP series of International Conferences on Principles and Practice of Declarative Programming.