[hofa] CFP for PPDP'12 and SCP special issue

[Andy King]

[Apologies if you receive multiple copies of this message]

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

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