PPDP 2012 - 14th International Symposium on Principles and Practice of Declarative Programming

Website dtai.cs.kuleuven.be/events/PPDP2012/ | Edit Freely

Category PPDP 2012

Deadline: May 31, 2012 | Date: September 19, 2012-September 21, 2012

Venue/Country: Leuven, Belgium

Updated: 2012-02-08 15:49:48 (GMT+9)

Call For Papers - CFP

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

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