Call for papers

The 9th International Symposium on Principles and Practice of Declarative Programming will take place from the 14th to the 16th of July 2007 in Wroclaw, Poland. tHis year the conference will be colocated with the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), the 34th International Colloquium on Automata, Languages and Programming (ICALP 2007) and Logic Colloquium 2007.

PPDP'07 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

• 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

Submission guidelines

Papers should be submitted to the submission website for PPDP'07. 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. Authors of accepted papers will be required to sign the ACM copyright form.

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.

No simultaneous submission to other publication outlets (either a conference or a journal) is allowed.

To submit a paper, please follow the submission guidelines.

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.

Invited speakers

• Konstantinos Sagonas, Uppsala University
• Witold Charatonik, University of Wroclaw
• Josh Berdine, Microsoft Research

Important dates

• Submission: April 3, 2007, 21:00 CET (extended deadline!)
• Notification: May 2, 2007 (new date)
• Early registration: June 10, 2007 (extended deadline)
• Final version due: (tba)
• Conference dates: July 14–16, 2007

Program chair

• Andreas Podelski, University of Freiburg

Symposium chair

• Michael Leuschel, University of Dusseldorf

Program committee

• Maria Alpuente (U. Politecnica de Valencia, Spain)
• Josh Berdine (Microsoft Research Cambrige, UK)
• Witold Charatonik (University of Wroclaw, Poland)
• Giorgio Delzanno (University of Genua, Italy)
• Patricia Johann (Rutgers University, USA)
• Shriram Krishnamurthi (Brown University, USA)
• Michael Leuschel (University of Dusseldorf, Germany)
• Atsushi Ohori (Tohoku University, Sendai, Japan)
• Andreas Podelski (University of Freiburg, Germany)
• Germán Puebla (Technical University of Madrid, Spain)
• Michel Rueher (University of Nice, France)
• Andrey Rybalchenko (EPFL Lausanne, Switzerland)
• Kostis Sagonas (National Technical University of Athens, Greece)
• Christian Schulte (Royal Institute of Technology, Sweden)
• Jakob Grue Simonsen (University of Copenhagen, Denmark)
• Peter Stuckey (University of Melbourne, Australia)
• Peter Thiemann (University of Freiburg, Germany)
• Pascal van Hentenryck (Brown University, USA)
• Peter van Roy (University of Louvain-La-Neuve, Belgium)
• Tarmo Uustalu (Institute of Cybernetics, Tallinn, Estonia)

Contact addresses

Further information can be obtained from the joint conferences site.