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

[Agostino Cortesi]

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

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
prof. agostino cortesi        tel. 0039 041 234.8450
dipartimento di informatica   fax  0039 041 234.8419
universita' ca' foscari       mail cortesi at dsi.unive.it
via torino 155                url  www.dsi.unive.it/~cortesi
30170 Venezia                 location: studio n.1