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

                          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

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm