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

ECMLPKDD 2022   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
IJPLA 2022   International Journal of Programming Languages and Applications
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
POPL 2023   50th Symposium on Principles of Programming Languages
PRIMA 2022   The 23rd International Conference on Principles and Practice of Multi-Agent Systems
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
CSTY 2022   8th International Conference on Computer Science and Information Technology
CP 2022   Principles and Practice of Constraint Programming
PODS 2022   ACM Symposium on Principles of Database Systems - Call for Papers - First Submission Cycle
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics