16th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2014

Canterbury, UK
September 8-10, 2014

co-located with LOPSTR 2014
See PPDP main web site for general information on the PPDP Symposia.
o  Invited Talk
o  Distilled Tutorials
o  Program
o  Attending PPDP 2014
o  Overview of PPDP 2014
o  Program Committee
o  Important Dates
o  Call for Papers
o  Submission Guidelines
o  Journal Special Issue
o  Contacts
o  In Cooperation with
o  Previous News
Cathedral
Riverside

Latest News

Invited Talk (jointly with LOPSTR)

Distilled Tutorials

Program

Here.

Attending PPDP 2014

PPDP and LOPSTR will be held at the School of Computing, University of Kent, Canterbury, UK. Discounted bed and breakfast accommodation is available on campus, just 10 minutes away.

Registration is now open. Please visit the registration page for details.

A substantial discount is available to those who register for both PPDP and LOPSTR. Additional discounts are available for early registration (until August 8) and for students (until August 8).

All registered attendees will receive a one-week travel pass valid for rides back and forth on the bus between the historic town center and the University campus. The bus ride takes approximately 20 minutes and buses run every 20 minutes.

Overview of PPDP 2014

The 16th International Symposium on Principles and Practice of Declarative Programming will take place 8-10 September 2014 in Canterbury, 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 2014 will be held in Canterbury, UK. Previous symposia were held at 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 2014 will be co-located with the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014).

Program Committee

Michael Adams, University of Illinois at Urbana-Champaign, USA
Elvira Albert, Complutense University of Madrid, Spain
Dariusz Biernacki, University of Wroclaw, Poland
Bernd Braßel, Recordbay, Germany
Michael Codish, Ben-Gurion University of the Negev, Israel
Olivier Danvy (chair), Aarhus University, Denmark
Marc Denecker, KU Leuven, Belgium
Zoé Drey, ENSTA Bretagne/Lab-STICC, France
Joshua Dunfield, Max Planck Institute for Software Systems, Germany
Thibaut Feydy, NICTA, Australia
Danko Ilik, Inria, France
Yukiyoshi Kameyama, University of Tsukuba, Japan
Chantal Keller, Microsoft Research -- Inria Joint Centre, France
Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
Dan Licata, Wesleyan University, USA
Akimasa Morihata, University of Tokyo, Japan
Matthias Puech, McGill University, Canada
Tiark Rompf, Oracle Labs and EPFL, Switzerland
Kristoffer H. Rose, Two Sigma Labs, New York, USA
Ilya Sergey, IMDEA Software Institute, Spain
Ralf Treinen, University Paris-Diderot, France
Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France

Important Dates

Abstract submission: 12 May, 2014 through EasyChair
Paper submission: 15 May, 2014 through EasyChair
Notification: 30 June, 2014 (the list of accepted submissions)
Final version of papers: 8 August, 2014 through EasyChair
Symposium: 8-10 September, 2014

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

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 a journal.

Important Dates:
Invitation for journal publication: To be announced
Submission of journal version: To be announced
Notification: To be announced
Camera-ready version: To be announced

Contacts

Symposium Chairs:

Olaf Chitil
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: O.Chitil@kent.ac.uk
Andy King
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: A.M.King@kent.ac.uk

Program Chair

Olivier Danvy
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: danvy@cs.au.dk

Publicity Chair:

Jacob Johannsen
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: cnn@cs.au.dk

In Cooperation With

ACM
SIGPLAN

Previous News

  • 9 July: We are pleased to announce that Henrik Nilsson will give a distilled tutorial.
  • 6 July: We are pleased to announce that Jerzy Karczmarczuk will give a distilled tutorial.
  • 3 July: In the next few days we will be offering discounted bed and breakfast accommodation on campus, which will be just 10 minutes from the School of Computing where the symposia will be held. Watch this space!
    We will also be providing a one week travel pass to all delegates so that they can ride back and forth on the bus between the historic town center and the University campus. The bus ride takes approximately 20 minutes and buses run every 20 minutes.
  • 2 July: We are pleased to announce that Danko Ilik will give a distilled tutorial.
  • 1 July: We are pleased to announce that Ralf Laemmel will give a distilled tutorial.
  • 29 June: The list of accepted submissions is available.
  • 10 May: We are pleased to announce that Roberto Giacobazzi will give a joint invited talk for PPDP and LOPSTR.
  • 3 April: Web page created.


Valid HTML 4.01 Transitional