[Haskell] ACM PPDP'06 call for papers

[Simon Marlow]

[ posting on behalf of Agostino Cortesi <cortesi at unive.it> ]

................................................................
         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
-------------- next part --------------
_______________________________________________
Grin mailing list
Grin at di.unipi.it
https://mailserver.di.unipi.it/mailman/listinfo/grin