Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming

Abstract

It is our great pleasure to welcome you to the 15th Symposium on Principles and Practice of Declarative Programming - PPDP 2013. This year's symposium continues the long tradition of bringing together researchers form the various declarative programming committees, includes those working in the logic, constraint and functional programming paradigms. Our mission 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, verification and static analysis.