posted by system || 3171 views || tracked by 11 users: [display]

PPDP 2010 : The 12th International Symposium on Principles and Practice of Declarative Programming


Conference Series : Principles and Practice of Declarative Programming
When Jul 26, 2010 - Jul 28, 2010
Where Hagenberg, Austria
Abstract Registration Due Mar 15, 2010
Submission Deadline Mar 21, 2010
Notification Due Apr 23, 2010
Final Version Due May 12, 2010
Categories    programming languages

Call For Papers

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)

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

Related Resources

PPDP 2020   International Symposium on Principles and Practice of Declarative Programming
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
ECML PKDD 2020   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
FCST 2020   8th International Conference on Foundations of Computer Science & Technology
IJPLA 2020   International Journal of Programming Languages and Applications
CP 2020   Twenty-Sixth Conference on Principles and Practice of Constraint Programming
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
PRIMA 2020   The 23nd International Conference on Principles and Practice of Multi-Agent Systems
PPoPP 2020   Principles and Practice of Parallel Programming
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons