September 7–9, 2009
Coimbra — Portugal
PPDP 2009
11th International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
Colocated with CSL 09 and LOPSTR 09
Association for Computing Machinery

Call for Papers

PPDP 2009 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; 9pt templates (the default) should be used. Authors of accepted papers will be required to sign the ACM copyright form.

Camera ready papers for accepted papers should be prepared and submitted according to the final instructions that will be sent by the publisher after notification of acceptance. Authors are warned about the strict deadline for camera ready versions imposed by the publisher.

Invited Speakers

      (* shared with LOPSTR 2009)

Important dates

Abstract submission:May 3 extended to May 7, 2009 (22:00, GMT)
Paper submission:May 7 extended to May 11, 2009 (22:00, GMT)
Notification:June 14, 2009
Final version:June 30, 2009
Symposium:September 7-9, 2009

Program Chair

Francisco J. López-Fraguas,Complutense Univ. Madrid,Spain

Program Committee

Sergio Antoy,Portland State Univ.,USA
Vítor Santos Costa,Univ. Porto,Portugal
Verónica Dahl,Simon Fraser Univ.,Canada
Agostino Dovier,Univ. Udine,Italy
Rachid Echahed,IMAG Grenoble,France
John Gallagher,Univ. Roskilde,Denmark
Michael Hanus,Univ. Kiel,Germany
Ralf Hinze,Oxford Univ.,UK
Yukiyoshi Kameyama,Univ. Tsukuba,Japan
Helene Kirchner,INRIA Bordeaux,France
Michael Leuschel,Univ. Dusseldorf,Germany
Rita Loogen,Univ. Maarburg,Germany
Francisco J. López-Fraguas,Complutense Univ. Madrid,Spain
Lunjin Lu,Oakland Univ.,USA
Maria Chiara Meo,Univ. G. D'annunzio,Italy
Gopalan Nadathur,Univ. Minnesota,USA
Fernando OrejasTechnical Univ. Catalunya,Spain
Catuscia Palamidessi,INRIA Saclay,France
Rinus Plasmeijer,Univ. Nijmegen,The Netherlands
António Porto,Univ. Porto,Portugal
Grigore Rosu,Univ. Illinois at Urbana-Champaign,USA
Taisuke SatoTokyo Inst. of Tech.,Japan
Tom Schrijvers,K. Univ. Leuven,Belgium
Peter Stuckey,Melbourne Univ.,Australia
Germán Vidal,Technical Univ. Valencia,Spain

Symposium Chair

António Porto,Univ. Porto,Portugal

Local Chair

Ana Paula Tomás,Univ. Porto,Portugal