17th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2015

Siena, Italy
July 14-16, 2015

co-located with LOPSTR 2015
See PPDP main web site for general information on the PPDP Symposia.
o  Invited Speakers
o  Program
o  Attending PPDP 2015
o  Overview of PPDP 2015
o  Program Committee
o  Important Dates
o  Call for Papers
o  Submission Guidelines
o  Journal Special Issue
o  Contacts
o  In Cooperation with

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



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

Michael D. Adams, University of Utah, USA
Elvira Albert, Complutense University of Madrid, Spain (Program Chair)
Puri Arenas, Complutense University of Madrid, Spain
Amir Ben-Amram, Tel-Aviv Academic College, Israel
Inęs Dutra, University of Porto, Portugal
Patrick Cousot, New York University, USA
Gregory Duck, National University of Singapore, Singapore
Fabio Fioravanti, University of Chieti-Pescara, Italy
Thom Frühwirth, University of Ulm, Germany
Roberto Giacobazzi, University of Verona, Italy
Michael Hanus, CAU Kiel, Germany
Andy King, University of Kent, UK
Francisco Javier López-Fraguas, Complutense University of Madrid, Spain
Ian Mackie, University of Sussex, UK
Dale Miller, INRIA and LIX/Ecole Polytechnique, France
Torsten Schaub, University of Potsdam, Germany
Tom Schrijvers KU Leuven, Belgium
Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France
German Vidal, Universitat Politecnica de Valencia, Spain
Marina Vos, University of Bath, UK
Nobuko Yoshida, Imperial College London, UK

Important Dates

Abstract submission: 30 March, 2015 through EasyChair
Paper submission: 6 April, 2015 through EasyChair
Notification: 14 May, 2015
Final version of papers: 14 June, 2015 through EasyChair
Symposium: 14-16 July, 2015

Call for Papers

The Call for Papers can be viewed or downloaded as

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.


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


Valid HTML 4.01 Transitional