posted by system || 4135 views || tracked by 13 users: [display]

PPDP 2013 : 15th International Symposium on Principles and Practice of Declarative Programming

FacebookTwitterLinkedInGoogle


Conference Series : Principles and Practice of Declarative Programming
 
Link: http://users.ugent.be/~tschrijv/PPDP2013/
 
When Sep 16, 2013 - Sep 18, 2013
Where Madrid, Spain
Abstract Registration Due May 27, 2013
Submission Deadline May 30, 2013
Categories    programming languages
 

Call For Papers

The 15th International Symposium on Principles and Practice of Declarative Programming will take place in September 2013 in Madrid, Spain.

PPDP 2013 is a forum that brings together researchers from the declaratrive programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to

Functional programming
Logic programming
Answer-set programming
Functional-logic programming
Declarative visual languages
Constraint Handling Rules
Parallel implementation and concurrency
Monads, type classes and dependent type systems
Declarative domain-specific languages
Termination, resource analysis and the verification of declarative programs
Transformation and partial evaluation of declarative languages
Language extensions for security and tabulation
Probabilistic modeling in a declarative language and modeling reactivity
Memory management and the implementation of declarative systems
Practical experiences and industrial application

Related Resources

PPDP 2020   International Symposium on Principles and Practice of Declarative Programming
COMIT 2020   4th International Conference on Computer Science and Information Technology
ECML PKDD 2020   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
NLAI 2020   International Conference on NLP & Artificial Intelligence Techniques
CP 2020   Twenty-Sixth Conference on Principles and Practice of Constraint Programming
IJDPS 2020   International Journal of Distributed and Parallel systems
PPoPP 2021   26th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
IJPLA 2020   International Journal of Programming Languages and Applications
PRIMA 2020   The 23nd International Conference on Principles and Practice of Multi-Agent Systems
ITCCMA 2020   7th International Conference on Information Technology, Control, Chaos, Modeling and Applications