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

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


Conference Series : Principles and Practice of Declarative Programming
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

PPoPP 2023   PPoPP 2023 : The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
ECMLPKDD 2022   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
CSTY 2022   8th International Conference on Computer Science and Information Technology
POPL 2023   50th Symposium on Principles of Programming Languages
CEIJ 2022   Chemical Engineering: An International Journal
PADL 2023   PADL 2023: The 25th International Symposium on Practical Aspects of Declarative Languages
iccq 2023   The Third International Conference on Code Quality
CAIJ 2022   Computer Applications: An International Journal
PRIMA 2022   The 23rd International Conference on Principles and Practice of Multi-Agent Systems