PPDP 2015 - International Symposium on Principles and Practice of Declarative Programming

The 17th International Symposium on Principles and Practice of Declarative Programming will take place 14-16 July 2015 in Siena, Italy.
PPDP is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages.
The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis.
Papers related to the use of declarative paradigms and tools in industry and education are especially solicited.
Topics of interest include, but are not limited to
Functional programming
Logic programming
Answer-set programming
Functional-logic programming
Declarative visual languages
Constraint Handling Rules
Parallel implementation and concurrency
Monads, type classes and dependent type systems
Declarative domain-specific languages
Termination, resource analysis and the verification of declarative programs
Transformation and partial evaluation of declarative languages
Language extensions for security and tabulation
Probabilistic modeling in a declarative language and modeling reactivity
Memory management and the implementation of declarative systems
Practical experiences and industrial application
PPDP 2015 will be held in Siena, Italy. Previous symposia were held at Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montréal (Canada), and Paris (France).
They can be browsed at the DBLP Computer Science Bibliography.
Continuing a friendly tradition, PPDP 2015 will be co-located with the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015).
Program Committee
Michael D. Adams, University of Utah, USA
Puri Arenas, Complutense University of Madrid, Spain
Amir Ben-Amram, Tel-Aviv Academic College, Israel
Inês Dutra, University of Porto, Portugal
Patrick Cousot, New York University, USA
Gregory Duck, National University of Singapore, Singapore
Fabio Fioravanti, University of Chieti-Pescara, Italy
Thom Frühwirth, University of Ulm, Germany
Roberto Giacobazzi, University of Verona, Italy
Michael Hanus, CAU Kiel, Germany
Andy King, University of Kent, UK
Francisco Javier López-Fraguas, Complutense University of Madrid, Spain
Ian Mackie, University of Sussex, UK
Dale Miller, INRIA and LIX/Ecole Polytechnique, France
Torsten Schaub, University of Potsdam, Germany
Tom Schrijvers KU Leuven, Belgium
Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France
German Vidal, Universitat Politecnica de Valencia, Spain
Marina Vos, University of Bath, UK
Nobuko Yoshida, Imperial College London, UK