Proceedings of the 14th symposium on Principles and practice of declarative programming

Abstract

It is our great pleasure to welcome you to the 14th Symposium on Principles and Practice of Declarative Programming -- PPDP'12. This year's symposium continues its long tradition of bringing together researchers from the various declarative programming communities, including 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 share novel solutions for analysing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. The call for papers attracted 42 submissions from Australia, Austria, Belgium, Brazil, Canada, Colombia, Denmark, France, Germany, Italy, Netherlands, Portugal, Qatar, Reunion, Serbia, Singapore, Slovenia, Spain, Sweden, Turkey, the United Kingdom and the United States, although some authors withdrew their papers for various reasons. The Program Committee (PC) too had a very international feel, drawn from 16 different countries. The PC accepted 18 papers in all that cover a variety of topics, including the applications of declarative languages. All papers received at least 3 reviews; external reviewers contributed 38 of these reviews. In addition, the proceedings includes the invited paper, "Symbolic Evaluation Graphs and Term Rewriting -- A General Methodology for Analyzing Logic Programs", kindly contributed by Jürgen Giesl and his colleagues, that supports the PPDP'12/LOPSTR'12 joint invited talk. We are delighted that Torben Schaub agreed to give the PPDP'12 invited talk on "Answer Set Solving in Practice". In addition, the program includes the invited talk, "Indexing Structures in Programming Language Semantics and Design" by Marcelo Fiore. This talk celebrates the paper "Semantic analysis of normalisation by evaluation for typed lambda calculus" by Marcelo that (at the time of writing) is the most highly cited paper from the PDPP'02 proceedings.