Coimbra
September 7–9, 2009
Coimbra — Portugal
PPDP 2009
11th International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
Colocated with CSL 09 and LOPSTR 09
Association for Computing Machinery
Venue location: FCTUC, Department of Mathematics, Room "17 Abril", 1st floor

Conference overview

The 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming will take place from the 7th to the 9th of September 2009 in Coimbra, Portugal.

PPDP'09 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 18th EACSL Annual Conference on Computer Science Logic (CSL 09) and the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 09).

   Get the conference poster (A0, 564 KB)

 

PPDP'09 is sponsored by ACM SIGPLAN - Special Interest Group on Programming Languages.

PPDP'09 gratefully acknowledges:
ACM SIGPLAN FCT/MCTES
Univ Coimbra LIACC/Univ Porto CISUC/Univ Coimbra CMUC/Univ Coimbra FCUP
and Câmara Municipal da Lousã.