PPDP 2008

PPDP 2008
Principles and Practice of Declarative Programming
Dates	Jul 15, 2008 (iCal) - Jul 17, 2008
Homepage:	www.clip.dia.fi.upm.es/Conferences/PPDP08
Location
Location:	Valencia, Spain
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":39.4697065,"lon":-0.3763353,"icon":""}],"imageoverlays":null}
Important dates
Submissions:	Apr 10, 2008
Notification:	May 15, 2008
Table of Contents

 PPDP 2008 is a forum for researchers and practitioners in the declarative programming communities. It solicits papers on all aspects of logic, constraint and functional programming, as well as on related paradigms such as visual programming, executable specification languages, database languages, AI and knowledge representation languages for the "semantic web".
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
    * Integration of Paradigms
    * Proof Theoretic and Semantic Foundations
    * Type and Module Systems
    * Program Analysis and Verification
    * Program Transformation
    * Abstract Machines and Compilation
    * Programming Environments

Submission guidelines

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.

No simultaneous submission to other publication outlets (either a conference or a journal) is allowed.

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. Authors of accepted papers will be required to sign the ACM copyright form.
Invited speaker

    * Michael Leuschel

Important dates

    * Submission of paper: April 10, 2008
    * Notification: May 15, 2008
    * Early registration: TBA
    * Final version due: TBA
    * Conference dates: July 15-17, 2008

Program chair

    * Sergio Antoy, Portland State University

Symposium chair

    * Elvira Albert, Complutense University of Madrid

Program committee

    * Elvira Albert, Complutense University of Madrid, Spain
    * Sergio Antoy, Portland State University, USA
    * Maribel Fernandez, King's College London, UK
    * Maurizio Gabbrielli, University of Bologna, Italy
    * Neil Ghani, University of Nottingham, UK
    * Masami Hagiya, University of Tokyo, Japan
    * Joxan Jaffar, National University, Singapore
    * Claude Kirchner, INRIA Bordeaux, France
    * Herbert Kuchen, University of Muenster, Germany
    * Michael Maher, NICTA and University of New South Wales, Australia
    * Dale Miller, INRIA Saclay, France
    * Eugenio Moggi, University di Genova, Italy
    * Kostis Sagonas, Uppsala University, Sweden
    * Carsten Schurmann, IT University of Copenhagen, Denmark
    * Peter Sestoft, IT University of Copenhagen, Denmark

Local chair

    * Christophe Joubert, Technical University of Valencia
	

This CfP was obtained from WikiCFP