posted by system || 4103 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

PPoPP 2023   PPoPP 2023 : The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
iccq 2023   The Third International Conference on Code Quality
ECMLPKDD 2022   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
POPL 2023   50th Symposium on Principles of Programming Languages
PADL 2023   PADL 2023: The 25th International Symposium on Practical Aspects of Declarative Languages
PRIMA 2022   The 23rd International Conference on Principles and Practice of Multi-Agent Systems
PODS 2022   ACM Symposium on Principles of Database Systems - Call for Papers - First Submission Cycle
PPoPP 2022   The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
CP 2022   Principles and Practice of Constraint Programming
ASPLOS 2023   Architectural Support for Programming Languages and Operating Systems