Friday, January 27, 2012

CFP: PPDP 2012 in Leuven, Belgium


Call for papers
14th International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
PPDP 2012

Special Issue of Science of Computer Programming (SCP)

Leuven, Belgium, September 18-20, 2012
(co-located with LOPSTR 2012)


PPDP 2012 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 22nd International
Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012) and
held in cooperation with ACM SIGPLAN. The conference will be held in Leuven,
Belgium. Previous symposia were held at 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 25% 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 2013.

Important Dates

Abstract Submission: May 28, 2012
Paper submission: May 31, 2012
Notification: July 6, 2012
Camera-ready: July 18, 2012

Symposium: September 19-21, 2012

Invites for SCP: September 26, 2012
Submission of SCP: December 12, 2012
Notification from SCP: February 7, 2013
Camera-ready for SCP: March 7, 2013

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

Program Committee:

Slim Abdennadher German University in Cairo, Egypt
Puri Arenas Complutense University of Madrid, Spain
Marcello Balduccini Kodak Research Labs, USA
Amir Ben-Amram Tel-Aviv Academic College, Israel
Philip Cox Dalhousie University, Canada
Marina De Vos University of Bath, UK
Martin Erwig Oregon State University, USA
Martin Gebser University of Potsdam, Germany
Jacob Howe City University London, UK
Joxan Jaffar National University of Singapore, Singapore
Gabriele Keller University of New South Wales, Australia
Andy King University of Kent, UK
Julia Lawall INRIA Paris, France
Rita Loogen Philipps-Universitat Marburg, Germany
Greg Michaelson Heriot-Watt University, UK
Matthew Might University of Utah, USA
Henrik Nilsson University of Nottingham, UK
Catuscia Palamidessi INRIA Saclay and Ecole Polytechnique, France
Kostis Sagonas Uppsala University, Sweden and NTUA, Greece
Taisuke Sato Tokyo Institute of Technology, Japan
Peter Schneider-Kamp University of Southern Denmark, Denmark
Tom Schrijvers University of Ghent, Belgium
Terrance Swift Universidade Nova de Lisboa, USA
Mirek Truszczynski University of Kentucky, USA
Stephanie Weirich University of Pennsylvania, USA

Program Chair:

Andy King
School of Computing, University of Kent
Canterbury, CT2 7NF, UK

General Co-Chairs

Daniel De Schreye and Gerda Janssens
Department of Computer Science
K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium

* Confirmation pending