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

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

FacebookTwitterLinkedInGoogle


Conference Series : Principles and Practice of Declarative Programming
 
Link: http://www.risc.uni-linz.ac.at/conferences/ppdp2010/
 
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)

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

Related Resources

CP 2021   International Conference on Principles and Practice of Constraint Programming
IJFCST 2021   International Journal in Foundations of Computer Science & Technology
CP 2021   Twenty-Seventh Conference on Principles and Practice of Constraint Programming
IJPLA 2021   International Journal of Programming Languages and Applications
ECML PKDD 2021   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
CTCM 2021   7th International Conference of Control Theory and Computer Modelling
PADL 2021   23rd International Symposium on Practical Aspects of Declarative Languages
ECML PKDD 2021   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
PPoPP 2021   26th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
POPL 2021   Principles of Programming Languages 2021