|Principles and Practice of Declarative Programming
12th International ACM SIGPLAN Symposium
The 12th International Symposium on Principles and Practice of Declarative Programming will take place in July 2010 in the Castle of Hagenberg, Austria. It is a part of the RISC Summer 2010, a series of international scientific events organized by the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz.
PPDP 2010 aims to provide a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited.
The conference will be colocated with the 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010).