Latest News

• 10 June: 20 accepted papers!
• 15 March: Deadline extension (until April 6)
• 26 January: Patrick Cousot, Martin Hofmann and Dale Miller will give invited talks
• 20 January: most influential PPDP'05 paper "ReactiveML: a reactive extension to ML" by Louis Mandel and Marc Pouzet
• 6 January: in cooperation status with ACM accepted
• 1 December: SCP special issue
• 17 November: Web page created

Invited Speakers

• Patrick Cousot (jointly with LOPSTR)
• Martin Hofmann
• Dale Miller (jointly with LOPSTR)

Program

Here.

Attending PPDP 2015

All information about accommodation and registration is here

Overview of PPDP 2015

The 17th International Symposium on Principles and Practice of Declarative Programming will take place 14-16 July 2015 in Siena, Italy.

PPDP is a forum that brings together researchers from the declarative 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

PPDP 2015 will be held in Siena, Italy. Previous symposia were held at Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montréal (Canada), and Paris (France).
They can be browsed at the DBLP Computer Science Bibliography.

Continuing a friendly tradition, PPDP 2015 will be co-located with the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015).

Program Committee

Important Dates

Call for Papers

The Call for Papers can be viewed or downloaded as

• plain text

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

Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist the program committee in selecting appropriate reviewers for the paper.

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.

Journal Special Issue

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 the Science of Computer Programming journal.

Contacts

Symposium Chair

Moreno Falaschi
Department of information engineering and mathematics
University of Siena, Italy

Program Chair

Elvira Albert
Department of Computer Science
Complutense University of Madrid
C/ Profesor Garcia Santesmases
E-28040 Madrid (Spain)
Email: elvira@sip.ucm.es

In Cooperation with ACM and EATCS