posted by system || 5300 views || tracked by 12 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 2024   The 26th International Symposium on Principles and Practice of Declarative Programming
IJPLA 2024   International Journal of Programming Languages and Applications
ECML-PKDD 2024   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
IJFLS 2024   International Journal of Fuzzy Logic Systems
CP 2024   Principles and Practice of Constraint Programming
NYC-2024-SE 2024   New York Annual Conference on Software Engineering 2024
PPoPP 2024   ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 2024
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
ECOOP (R2) 2024   European Conference on Object-Oriented Programming
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research