[Om-announce] ACM PPDP'06 Deadline extension

Michael Maher mmaher at cse.unsw.EDU.AU
Tue Mar 14 04:33:31 CET 2006


[Apologies for multiple copies]

The deadline for submissions to PPDP has been extended to March 27. 
Papers should be submitted via http://www.easychair.org/PPDP06
The conference provides a forum for all aspects of declarative programming
languages and declarative analyses of any form of computation.
A copy of the call for papers follows.

                     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      27 March 2006
Notification    22 April 2006

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

INVITED SPEAKERS
Simon Peyton Jones (Microsoft Research, UK)
Prakash Panagaden (McGill University, Canada)

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.  Also co-located is the
International Symposium on Logic-based Program Synthesis and Transformation
and several workshops.  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).


More information about the Om-announce mailing list