CFP: PPDP 2013

Call for papers
5th International Symposium on Principles and Practice of Declarative Programming
PPDP 2013

Special Issue of Science of Computer Programming (SCP)
Madrid, Spain, September 16-18, 2013    (co-located with LOPSTR 2013)


PPDP 2013 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 a variety of other paradigms such as visual programming, executable specification 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 analysing 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 modelling in a declarative language and modelling reactivity
  • Memory management and the implementation of declarative systems
  • Practical experiences and industrial application

This year the conference will be co-located with the 23nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013) and held in cooperation with ACM SIGPLAN.  The conference will be held in Madrid, Spain. Previous symposia were held at Leuven (Belgium), 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). 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).

Proceedings will be published by ACM Press* 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 2014.

Important Dates

  • Abstract Submission:            May 27, 2013
  • Paper submission:               May 30, 2013
  • Notification:                   July 4, 2013
  • Camera-ready:                   July 21, 2013
  • Symposium:                      September 16-18, 2013
  • Invites for SCP:                October 2, 2013
  • Submission of SCP:              December 11, 2013
  • Notification from SCP:          February 22, 2014
  • Camera-ready for SCP:           March 14, 2014

Authors should submit an electronic copy of the paper (written in English) in PDF.  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 us in selecting appropriate reviewers for the paper. Papers should consist of no more than 12 pages, formatted following the ACM SIG proceedings template (option 1). The 12 page limit must include references but excludes well-marked appendices not intended for publication. Referees are not required to read the appendices, and thus papers should be intelligible without them.

Program Chair

Tom Schrijvers   
Department of Applied Mathematics and Computer Science  
Ghent University    
9000 Gent, Belgium

General Chair

Ricardo Pena    
Facultad de Informatica    
Universidad Complutense de Madrid    
28040 Madrid, Spain

For other details see