15-17 July, 2008
Valencia, Spain
PPDP 2008
10th International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
Colocated with SAS 2008, LOPSTR 2008, and PLID 2008
Association for Computing Machinery

Call for papers

PPDP 2008 is a forum for researchers and practitioners in the declarative programming communities. It solicits papers on all aspects of logic, constraint and functional programming, as well as on related paradigms such as visual programming, executable specification languages, database languages, AI and knowledge representation languages for the "semantic web".


  • 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

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.


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 speaker

Important dates

  • Submission of paper: April 10, 2008
    Firm date, the site closes on April 11, 8:00 AM PST. Updates of submissions will be accepted till April 15, 8:00AM PST.
  • Notification: May 15, 2008
  • Early registration: TBA
  • Final version due: May 29, 2008
  • Conference dates: July 15-17, 2008

Program chair

Symposium chair

Program committee

Local chair