ACM PPDP 2006 call for paper

................................................................
PPDP 2006  Preliminary Call For Papers

8th ACM-SIGPLAN International Symposium on
Principles and Practice of Declarative Programming

Venice, Italy, July 10-12, 2006

http://www.dsi.unive.it/ppdp2006/
................................................................

IMPORTANT DATES
Submission      15 March 2006
Notification    22 April 2006

SCOPE: PPDP 2006 is a forum for the declarative programming
communities, gathering researchers working on logic, constraint and
functional programming, but also on other programming language
paradigms like visual programming, executable specification languages,
database languages, AI and knowledge representation languages for the
"semantic web".

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

PROCEEDINGS: Proceedings will be published by ACM Press.

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

CONFERENCE CHAIR: Annalisa Bossi, U. Ca' Foscari di Venezia
PROGRAM CHAIR: Michael Maher, National ICT Australia

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)