14th International Symposium on Association for Computing Machinery
Principles and Practice of Declarative Programming
PPDP 2012

Leuven, Belgium
September 19-21, 2012

co-located with LOPSTR 2012
See PPDP main web site for general information on the PPDP Symposia.

!!!ANNOUNCEMENT: Some practical information about the Excursion and the Conference Banquet (Wednesday 19/9/2012)
We will leave for the excursion at 13h00: the bus leaves at the conference site. Please bring your conference badge.
We visit an open air exhibition, so bring your coat.
When returning to Leuven, the bus makes 3 stops: Leuven train station, city centre and again the conference site.
The banquet is at the faculty club (http://www.facultyclub.be/en/itinerary/) and starts at 18h30.

o  Conference Overview
o  Conference Program
o  Proceedings
o  Important Dates
o  Submissions
o  Special Issue
o  Invited Speakers
o  Program Committee
o  Registration / Accommodation
o  Contacts
o  Call for Papers
o  Accepted Papers
o  Venue
o  Anti-harassment policy
Arenberg Inside

Conference Overview

The 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming will take place in September 2012 in Leuven, Belgium.

PPDP 2012 is a forum that brings together researchers from the declaratrive programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to

  • Functional programming
  • Logic programming
  • Answer-set programming
  • Functional-logic programming
  • Declarative visual languages
  • Constraint Handling Rules
  • Parallel implementation and concurrency
  • Monads, type classes and dependent type systems
  • Declarative domain-specific languages
  • Termination, resource analysis and the verification of declarative programs
  • Transformation and partial evaluation of declarative languages
  • Language extensions for security and tabulation
  • Probabilistic modeling in a declarative language and modeling reactivity
  • Memory management and the implementation of declarative systems
  • Practical experiences and industrial application

This year the conference will be co-located with the 22st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012) and held in cooperation with ACM SIGPLAN.

The conference will be held in Leuven, Belgium Previous symposia were held at Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia.


The proceedings will be published by ACM press.

Important Dates

Abstract submission: May 28, 2012
Paper submission: May 31, 2012
Notification: July 6, 2012
Camera-ready: July 22, 2012
Symposium: September 19-21, 2012

Submission Guidelines

Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions).

Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted to the submission website for PPDP 2012.

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.

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.

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.

Special Issue

PPDP12 Special Issue in Science of Computer Programming

After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a special issue of SCP with a target publication date by Elsevier of 2013.

Important Dates
Invites for SCP: September 26, 2012
Submission of SCP: December 12, 2012
Notification from SCP: February 22, 2013
Camera-ready for SCP: March 22, 2013

Invited Speakers

  • Torsten Schaub
  • University of Potsdam, Germany slides
  • Jürgen Giesl
  • RWTH Aachen, Germany shared with Lopstr slides

    Program Committee

    Slim Abdennadher German University in Cairo, Egypt
    Puri Arenas Complutense University of Madrid, Spain
    Marcello Balduccini Kodak Research Labs, USA
    Amir Ben-Amram Tel-Aviv Academic College, Israel
    Philip Cox Dalhousie University, Canada
    Marina De Vos University of Bath, UK
    Martin Erwig Oregon State University, USA
    Martin Gebser University of Potsdam, Germany
    Jacob Howe City University London, UK
    Joxan Jaffar National University of Singapore, Singapore
    Gabriele Keller University of New South Wales, Australia
    Andy King University of Kent, UK
    Julia Lawall INRIA Paris, France
    Rita Loogen Philipps-Universität Marburg, Germany
    Greg Michaelson Heriot-Watt University, UK
    Matthew Might University of Utah, USA
    Henrik Nilsson University of Nottingham, UK
    Catuscia Palamidessi INRIA Saclay and École Polytechnique, France
    Kostis Sagonas Uppsala University, Sweden and NTUA
    Taisuke Sato Tokyo Institute of Technology, Japan
    Peter Schneider-Kamp University of Southern Denmark, Denmark
    Tom Schrijvers University of Ghent, Belgium
    Terrance Swift Universidade Nova de Lisboa, Portugal and Johns Hopkins University, USA
    Mirek Truszczynski University of Kentucky, USA
    Stephanie Weirich University of Pennsylvania, USA


    Program Chair (contact him for additional information about papers and submissions):

    Andy King
    School of Computing
    University of Kent
    CT2 7NF Kent, UK
    Email: A.M.King@kent.ac.uk

    Symposium Co-Chairs:

    Danny De Schreye and Gerda Janssens
    Department of Computer Science
    Katholieke Universiteit Leuven
    Celestijnenlaan 200 A
    B-3001 Heverlee, Belgium

    Organizing Committee:

    Danny De Schreye
    Gerda Janssens
    Dimitar Shterionov
    Jon Sneyers

    Call for Papers

    You can view or download the Call for Papers as

    Anti-harassment Policy

    PPDP is committed to holding a conference that reflects the diversity of its community and provides a harassment-free conference experience for everyone, regardless of ethnicity, religion, disability, physical appearance or gender. It is important to remember that a community where people feel uncomfortable or threatened is not a productive one.

    Harassment of PPDP participants will not be tolerated in any form. Harassment includes offensive verbal comments related to ethnicity, religion, disability, physical appearance, gender, or sexual orientation in public spaces, deliberate intimidation, stalking, following, harassing photography or recording, sustained disruption of talks or other events, inappropriate physical contact, and unwelcome attention. Participants asked to stop any harassing behaviour are expected to comply immediately.

    If a participant or speaker engages in harassing behaviour, the conference organisers may take any action they deem appropriate, ranging from a simple warning the offender to immediate expulsion from the conference.

    If you are being harassed, notice that someone else is being harassed, or have any other concerns, please contact the programme chair.