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

Edinburgh, UK
September 5-7, 2016

co-located with LOPSTR 2016 and SAS 2016 (flyer)
See PPDP main web site for general information on the PPDP Symposia.
o  Invited Speakers
o  Program
o  Attending PPDP 2016
o  Overview of PPDP 2016
o  Program Committee
o  Important Dates
o  Call for Papers
o  Submission Guidelines
o  Journal Special Issue
o  Contacts
o  In Cooperation with
o  Registration & Venue


Monday, Sep 5

  • 8:45 - 9:00: Welcome

  • 9:00 - 10:00: Invited talk (chair: German Vidal)

    • Elvira Albert. Testing of Concurrent and Imperative Software using CLP

  • Coffee break

  • 10:30 - 12:00: Logic Programming (chair: Alberto Pettorossi)

    • Joaquín Arias and Manuel Carro. Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution

    • Angelos Charalambidis, Panos Rondogiannis and Antonis Troumpoukis. Higher-Order Logic Programming: an Expressive Language for Representing Qualitative Preferences

    • Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri and Simona Perri. A Framework for Easing the Development of Applications Embedding Answer Set Programming

  • Lunch

  • 13:30 - 15:00: Rewriting and equational reasoning (chair: Michael Hanus)

    • Takahiro Nagao and Naoki Nishida. Proving Inductive Validity of Constrained Inequalities

    • Clara Bertolissi, Jean-Marc Talbot and Didier Villevalois. Analysis of Access Control Policy Updates through Narrowing

    • Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer and Sonia Santiago. Strand Spaces with Choice via a Process Algebra Semantics

  • Coffee break

  • 15:30 - 16:30: Theorem proving and verification (chair: German Vidal)

    • Nataliia Stulova, José F. Morales and Manuel V. Hermenegildo. Reducing the Overhead of Assertion Run-time Checks via Static Analysis

    • Sylvia Grewe, Sebastian Erdweg, Michael Raulf and Mira Mezini. Exploration of Language Specifications by Compilation to First-Order Logic

Tuesday, Sep 6

  • 9:00 - 10:00: Invited talk (chair: James Cheney, shared with LOPSTR)

    • Greg Morrisett. Challenges in Compiling Coq

  • Coffee break

  • 10:30 - 12:00: Concurrency (chair: Elvira Albert)

    • Elena Giachino, Ludovic Henrio, Cosimo Laneve and Vincenzo Mastandrea. Actors may synchronize, safely!

    • Jan Midtgaard, Flemming Nielson and Hanne Riis Nielson. Iterated Process Analysis over Lattice-Valued Regular Expressions

    • Dimitrios Kouzapas, Ornela Dardha, Roly Perera and Simon J. Gay. Typechecking Protocols with Mungo and StMungo

  • Lunch

  • Excursion and PPDP/LOPSTR dinner (Royal College of Surgeons)

Wednesday, Sep 7

  • 9:00 - 10:00: Invited talk (chair: Pedro López-García, shared with LOPSTR)

    • Francesco Logozzo Mehdi Bouaziz. Static analysis for security at the Facebook scale

  • Coffee break

  • 10:30 - 12:00: Types and Lambda calculus (chair: Santiago Escobar)

    • Manfred Schmidt-Schauss and David Sabel. Unification of Program Expressions with Recursive Bindings

    • Thomas Ehrhard and Giulio Guerrieri. The bang calculus: an untyped lambda-calculus generalizing Call-By-Name and Call-By-Value

    • Nick Benton, Martin Hofmann and Vivek Nigam. Effect-Dependent Transformations for Concurrent Programs

  • Lunch

  • 13:30 - 15:00: Program transformation (chair: Maurizio Proietti)

    • Fred Mesnard, Etienne Payet and Wim Vanhoof. Towards a Framework for Algorithm Recognition in Binary Code

    • Stefan Fehrenbach and James Cheney. Language-integrated Provenance

    • Yanhong A. Liu, Jon Brandvein, Scott D. Stoller and Bo Lin. Demand-Driven Incremental Object Queries

Valid HTML 4.01 Transitional