PPDP 2010 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.

* Logic, Constraint, and Functional Programming
* Database, AI and Knowledge Representation Languages
* Visual Programming
* Executable Specification 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

The list above is not exhaustive - submissions describing new and interesting ideas relating broadly to declarative programming are encouraged.


Dates (Provisional)

Submission
title and abstract: 15 March 2010
full paper: 21 March 2010
Notification: 23 April 2010
Final version: 12 May 2010
Symposium: 26-28 July 2010

Copyright © 2007 Biz Watch. All Rights Reserved. Designed by Free CSS Templates