PPDP 2016 - 18th International Symposium on Principles and Practice of Declarative Programming PPDP 2016

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 2016 will be held in Edinburgh, UK. Previous symposia were held at Siena (Italy), 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 2016 will be co-located with the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).
Program Committee
Sandra Alves, University of Porto, Portugal
Zena M. Ariola, University of Oregon, USA
Kenichi Asai, Ochanomizu University, Japan
Dariusz Biernacki, University of Wroclaw, Poland
Rafael Caballero, Complutense University of Madrid, Spain
Iliano Cervesato, Carnegie Mellon University
Marina De Vos, University of Bath, UK
Agostino Dovier, Università degli Studi di Udine, Italy
Maribel Fernandez, King's College London, UK
John Gallagher, Roskilde University, Denmark, and IMDEA Software Institute, Spain
Michael Hanus, CAU Kiel, Germany
Martin Hofmann, LMU München, Germany
Gerda Janssens, KU Leuven, Belgium
Kazutaka Matsuda, Tohoku University, Japan
Fred Mesnard, Université de la Réunion, France
Emilia Oikarinen, Finnish Institute of Occupational Health, Finland
Alberto Pettorossi, Università di Roma Tor Vergata, Italy
Tom Schrijvers, KU Leuven, Belgium
Josep Silva, Universitat Politècnica de València, Spain
Perdita Stevens, University of Edinburgh, UK
Peter Thiemann, Universität Freiburg, Germany
Frank D. Valencia, CNRS-LIX École Polytechnique de Paris, France, and Pontificia Universidad Javeriana de Cali, Colombia
German Vidal, Universitat Politècnica de València, Spain (Program Chair)
Stephanie Weirich, University of Pennsylvania, USA