=====================================================================

                         Call for papers
               14th International 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 them.

Invited speakers:

Torsten Schaub, University of Potsdam, Germany
Juergen Giesl, RWTH Aachen, Germany (shared with LOPSTR)

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

Reply via email to