13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming July 19, 2011

Stimulates research in the use of logical formalisms and methods for specifying, performing,and analyzing computations,including mechanisms for mobility, modularity,concurrency,object-orientation,security,and static analysis.

Official Website: http://www-ps.informatik.uni-kiel.de/ppdp11/