[TYPES/announce] PPDP'06 -- Call for Papers

[Michael Maher]

[Apologies for multiple copies]

                  Preliminary Call for Papers: PPDP 2006
           Eighth ACM-SIGPLAN International Symposium on
          Principles and Practice of Declarative Programming
                  Venice, Italy, 10-12 July, 2006

IMPORTANT DATES
Submission      15 March 2006
Notification    22 April 2006

WEB SITES:
PPDP 2006: http://www.dsi.unive.it/ppdp2006/
PPDP: http://pauillac.inria.fr/~fages/PPDP/

SCOPE OF THE CONFERENCE: PPDP 2006 aims to provide a forum that brings
together those in 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, AI languages and
knowledge representation languages used, for example, in the "semantic web".
The goal is to stimulate research in the use of logical formalisms and
methods for specifying, performing, and analyzing computations, and to
stimulate cross-fertilization by including work from one community that
could be of particular interest and relevance to the others.

Topics of more specific interest are enhancements to such formalisms
with mechanisms for mobility, modularity, concurrency, object-orientation,
security, and static analysis. At the level of methodology, the use of
logic-based principles in the design of tools for program development,
analysis, and verification relative to all declarative paradigms is of
interest. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. This list is not
exhaustive: submissions related to new and interesting ideas relating
broadly to declarative programming are encouraged. Prospective authors
are encouraged to communicate with the Program Chair about the suitability
of a specific topic.

TOPICS (Not exhaustive): Logic, Constraint, and Functional Programming; 
Database, AI, and Knowledge Representation Languages; Visual Programming; 
Executable Specification Languages; Applications of Declarative
Programming; Methodologies for Program Design and Development;
Declarative Aspects of Object-Oriented Programming; Concurrent
Extensions to Declarative Languages; Declarative Mobile Computing; 
Integration of Paradigms; Proof Theoretic and Semantic Foundations; 
Type and Module Systems; Program Analysis and Verification; Program
Transformation; Abstract Machines and Compilation; Programming Environments

EVALUATION OF SUBMISSIONS: Submitted papers will be judged on the
basis of significance, relevance, correctness, originality, and
clarity.  They should include a clear identification of what has been
accomplished and why it is significant.  They must describe original,
previously unpublished work that has not been simultaneously submitted
for publication elsewhere.  Authors who wish to provide additional
material to the reviewers beyond the 12-page limit can do so in
clearly marked appendices: reviewers are not required to read such
appendices.  Submissions that do not meet these guidelines may not be
considered.

PROCEEDINGS: Proceedings will be published by ACM Press.  ACM
formatting guidelines are available online, along with formatting
templates or style files for LaTeX, Word Perfect, and Word:
http://www.acm.org/sigs/pubs/proceed/template.html.
Authors of accepted papers will be required to sign the ACM copyright
form.

RELATED EVENTS: PPDP 2006 will be co-located with the 33rd
International Colloquium on Automata, Languages and Programming (ICALP
2006), which will take place 9-16 July 2006.  See
http://icalp06.dsi.unive.it for more information.

CONFERENCE CHAIR: Annalisa Bossi, U. Ca' Foscari di Venezia
web: http://www.dsi.unive.it/~bossi/, email: bossi at dsi.unive.it

PROGRAM CHAIR: Michael Maher, National ICT Australia
web: http://www.cse.unsw.edu.au/~mmaher, email: michael.maher at nicta.com.au

PROGRAM COMMITTEE:
Nick Benton (Microsoft Research, UK)
Annalisa Bossi (U. Ca' Foscari di Venezia, Italy)
Manuel Chakravarty (U. NSW, Australia)
Bart Demoen (K. U. Leuven, Belgium)
Moreno Falaschi (U. Udine, Italy)
Radha Jagadeesan (DePaul U., USA)
Bharat Jayaraman (SUNY Buffalo, USA)
Yukiyoshi Kameyama  (U. Tsukuba, Japan)
Andy King (U. Kent, UK)
Francois Laburthe (Bouyges, France)
David Sands (Chalmers U., Sweden)
Christian Schulte (KTH, Sweden)
Pascal Van Hentenryck (Brown U., USA)
Roland Yap (NUS, Singapore)



PREVIOUS PPDP CONFERENCES: Paris (1999), Montreal (2000), Firenze
(2001), Pittsburgh (2002), Uppsala (2003), Verona (2004), Lisboa (2005).