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

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
This year the conference will be co-located with the 23st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013).
The conference will be held in Madrid, Spain. Previous symposia were held at Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia.
Important Dates
Abstract submission: May 27, 2013
Paper submission: May 30, 2013
Notification: July 4, 2013
Camera-ready: July 21, 2013
Symposium: September 16-18, 2013