Call for Papers: PPDP’06

Eighth ACM-SIGPLAN International Symposium on

Principles and Practice of Declarative Programming

Venice, Italy, 10-12 July, 2006




Submission      27 March 2006 (NEW deadline!)

Notification    22 April 2006



PPDP 2006:



SCOPE OF THE CONFERENCE: PPDP’06 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.


TOPICS (Not exhaustive): Logic, Constraint, and Functional Programming; Database, AI and Knowledge Representation Languages; Visual Programming;  Executable Specification for Languages; Applications of Declarative Programming; Methodologies 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


EVALUATION OF SUBMISSIONS: 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.  Submissions that do not meet these guidelines may not be considered.


PROCEEDINGS: Proceedings will be published by ACM Press.  ACM formatting guidelines are available online, along with formatting templates or style files for LaTeX, Word Perfect, and Word:

Authors of accepted papers will be required to sign the ACM copyright form.


RELATED EVENTS: PPDP 2006 will be co-located with the 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006), which will take place 9-16 July 2006.  See for more information.


CONFERENCE CHAIR: Annalisa Bossi, U. Ca' Foscari di Venezia

web:, email:


PROGRAM CHAIR: Michael Maher, National ICT Australia

web:, email:



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. Udine, 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)




PREVIOUS PPDP CONFERENCES: Paris (1999), Montreal (2000), Firenze (2001), Pittsburgh (2002), Uppsala (2003), Verona (2004), Lisboa (2005).