W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2006

ACM PPDP'06

From: <event@in.tu-clausthal.de>
Date: Mon, 13 Mar 2006 14:53:00 +0100 (CET)
To: cortesi@dsi.unive.it, <eacsl@dimi.uniud.it>, <ecoop-info@ecoop.org>, <event-bounces@in.tu-clausthal.de>, <event@in.tu-clausthal.de>, <event-owner@in.tu-clausthal.de>, <events@fmeurope.org>, <fmacademic@cas.mcmaster.ca>, <formal-methods@cs.uidaho.edu>, <fortia@fmeurope.org>, <haskell@haskell.org>, <isabelle-users@cl.cam.ac.uk>, <members@fmeurope.org>, <petrinet@informatik.uni-hamburg.de>, <seworld@cs.colorado.edu>, <spam@aronde.net>, <theorem-provers@ai.mit.edu>, <theorynt@listserv.nodak.edu>, <types@cis.upenn.edu>, <zforum@prg.ox.ac.uk>, <zucker@mcmaster.ca>
Message-ID: <Pine.LNX.4.44.0603131452320.21587-100000@fibre7.unive.it>
Cc:


A kind reminder: the deadline for paper submission is approaching! 
..................................................................
         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)

------------------------------------------------------------------------
This e-mail was delivered to you by event@in.tu-clausthal.de, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
 
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner@in.tu-clausthal.de ASAP. 
 
******************************************************
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 
******************************************************

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/
Received on Monday, 13 March 2006 19:07:19 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:53 GMT