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).
Submissions: | March 25, 2010 |
Notification: | April 23, 2010 |
Event: | July 26, 2010-July 28, 2010 |