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".

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

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

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

• Michael Leuschel

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

• Sergio Antoy, Portland State University

Symposium chair

• Elvira Albert, Complutense University of Madrid

Program committee

• Elvira Albert, Complutense University of Madrid, Spain
• Sergio Antoy, Portland State University, USA
• Maribel Fernandez, King's College London, UK
• Maurizio Gabbrielli, University of Bologna, Italy
• Neil Ghani, University of Nottingham, UK
• Masami Hagiya, University of Tokyo, Japan
• Joxan Jaffar, National University, Singapore
• Claude Kirchner, INRIA Bordeaux, France
• Herbert Kuchen, University of Muenster, Germany
• Michael Maher, NICTA and University of New South Wales, Australia
• Dale Miller, INRIA Saclay, France
• Eugenio Moggi, University di Genova, Italy
• Kostis Sagonas, Uppsala University, Sweden
• Carsten Schurmann, IT University of Copenhagen, Denmark
• Peter Sestoft, IT University of Copenhagen, Denmark

Local chair

• Christophe Joubert, Technical University of Valencia