Conference overview

The 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming will take place from the 14th to the 16th of July 2007 in Wrocław, Poland.

PPDP 2007 aims to provide a forum that brings together those in 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 analyzing computations, and to stimulate cross-fertilization by including work from one community that could be of particular interest and relevance to the others.

This year the conference will be colocated with the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), the 34th International Colloquium on Automata, Languages and Programming (ICALP 2007) and Logic Colloquium 2007.