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;
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;
Abstract Machines and Compilation;
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
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.
Submission 27 March 2006
NEW DEADLINE! DEADLINE EXTENDED!!!
Notification 22 April 2006
SORRY! DELAIED TO THE FIRST WEEK OF MAY
Final version May 2006
(National ICT Australia)
Nick Benton (Microsoft
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)
Thom Frühwirth (University of Ulm, Germany)
Annalisa Bossi, U. Ca' Foscari di Venezia
Agostino Cortesi, U. Ca' Foscari di Venezia
Key Congress & Communication Srl
via Makalle', 75 - 35138
Tel. +39 049 872 95 11 || +39 049 872 95 21 Fax. +39 049 872 95 12
E-mail: firstname.lastname@example.org || email@example.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.