Call for participation: PPDP 2016

From: German Vidal <>
Date: Thu, 7 Jul 2016 16:15:02 +0200



PPDP 2016
18th International Symposium on
Principles and Practice of Declarative Programming
Edinburgh, UK, September 5-7, 2016

co-located with

26th International Symposium on
Logic-Based Program Synthesis and Transformation
Edinburgh, UK, September 6-8, 2016


SAS 2016
23rd Static Analysis Symposium
Edinburgh, UK, September 8-10, 2016


Registration is now open:

**Early registration until August 15**


* Elvira Albert: Testing of Concurrent and Imperative Software
  using CLP
* Greg Morrisett (jointly with LOPSTR'16): TBD
* Francesco Logozzo (jointly with LOPSTR'16): TBD


- 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
- Dimitrios Kouzapas, Ornela Dardha, Roly Perera and Simon Gay.
  Typechecking Protocols with Mungo and StMungo
- Joaquin Arias Herrero and Manuel Carro. Description and
  Evaluation of a Generic Design to Integrate CLP and Tabled
- Nataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo.
  Reducing the Overhead of Runtime Checks via Static Analysis
- Takahiro Nagao and Naoki Nishida. Proving Inductive Validity
  of Constrained Inequalities
- Vincenzo Mastandrea, Elena Giachino, Ludovic Henrio and
  Cosimo Laneve. Actors may synchronize, safely!
- Frederic Mesnard, Etienne Payet and Wim Vanhoof. Towards a
  Framework for Algorithm Recognition in Binary Code
- Jan Midtgaard, Flemming Nielson and Hanne Riis Nielson. Iterated
  Process Analysis over Lattice-Valued Regular Expressions
- Nick Benton, Martin Hofmann and Vivek Nigam. Effect-Dependent
  Transformations for Concurrent Programs
- Manfred Schmidt-Schauss and David Sabel. Unification of Program
  Expressions with Recursive Bindings
- Stefan Fehrenbach and James Cheney. Language-integrated provenance
- Clara Bertolissi, Jean-Marc Talbot and Didier Villevalois.
  Rewrite-based Access Control Policy Analysis through Narrowing
- Sylvia Grewe, Sebastian Erdweg, Michael Raulf and Mira Mezini.
  Exploration of Language Specifications by Compilation to
  First-Order Logic
- Angelos Charalambidis, Panos Rondogiannis and Antonis
  Troumpoukis. Higher-Order Logic Programming: an Expressive
  Language for Representing Qualitative Preferences
- Thomas Ehrhard and Giulio Guerrieri. The bang calculus: an untyped
  lambda-calculus generalizing Call-By-Name and Call-By-Value
- Fan Yang, Santiago Escobar, Catherine Meadows, Jose Meseguer
  and Sonia Santiago. Strand Spaces with Choice via a Process
  Algebra Semantics
- Yanhong A. Liu, Jon Brandvein, Scott Stoller and Bo Lin.
  Demand-Driven Incremental Object Queries

Hope to see you in Edinburgh!


curry mailing list

Received on Sa Jul 09 2016 - 04:43:44 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:13 CEST