Latest News

• Most influential PPDP'06 paper "Open data types and open functions" by Andres Löh and Ralf Hinze
• Due to some last minute complications, Francesco Logozzo's invited talk will be given by Mehdi Bouaziz
• 20 July: (tentative) program is available
• 07 July: 17 accepted papers!
• 02 July: Registration already open. Please read the note on visas
• 19 May: Francesco Logozzo will give an invited talk (shared with LOPSTR'16)
• 16 May: Greg Morrisett will give an invited talk (shared with LOPSTR'16)
• 11 March: SCP special issue
• 12 February: Elvira Albert will give an invited talk
• 21 December: in cooperation status with ACM accepted
• 4 November: Web page created

Invited Speakers

• Elvira Albert, Testing of Concurrent and Imperative Software using CLP (abstract)
• Greg Morrisett, Challenges in Compiling Coq (abstract)
• Francesco Logozzo Mehdi Bouaziz, Static analysis for security at the Facebook scale (abstract)

Attending PPDP 2016

All information about accommodation and registration will be available here.

Overview of PPDP 2016

The 18th International Symposium on Principles and Practice of Declarative Programming will take place 5-7 September 2016 in Edinburgh, UK.

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 2016 will be held in Edinburgh, UK. Previous symposia were held at Siena (Italy), 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 2016 will be co-located with the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).

Program Committee

Important Dates (tentative)

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

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

Organizing committee

James Cheney (University of Edinburgh, Local Organizer)
Moreno Falaschi (University of Siena, Italy)

Program Chair

German Vidal
Department of Computer Science
Universitat Politècnica de València
Camino de Vera, S/N
E-46022 Valencia (Spain)
Email: gvidal@dsic.upv.es

VISA

Please check here whether you require a visa to visit the UK. This can take 6-8 weeks. If so, please contact James Cheney as soon as possible to obtain a visa support letter.

In Cooperation with ACM

Proceedings

The proceedings will be published in the ACM Digital Library.