International  Symposium on Principles and Practice of Declarative Programming


PPDP 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.

Click here for the bylaws governing PPDP.


Starting with the 13th edition of PPDP in 2011, each year the most influential paper from the conference 10 years ago is selected by the Steering Committee and awarded to recognize the authors' contribution to PPDP's influence in the area of declarative programming.


Click here for the full list of previous conferences.