[TYPES/announce] Last Call for Participation: PPDP 2016 - 18th International Symposium on Principles and Practice of Declarative Programming

German Vidal gvidal at dsic.upv.es
Tue Aug 2 04:51:16 EDT 2016



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

co-located with 

LOPSTR 2016 
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 open at: 



Please check here: https://www.gov.uk/check-uk-visa whether you 
require a visa to visit the UK. This can take 6-8 weeks. 
If so, please contact James Cheney as soon as possible to obtain 
a visa support letter.


* Elvira Albert: Testing of Concurrent and Imperative Software 
  using CLP
* Greg Morrisett (jointly with LOPSTR'16): Challenges in Compiling Coq
* Francesco Logozzo (jointly with LOPSTR'16): Abstract interpretation 
  for taint analysis at scale


- Davide Fusca, 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. 
  Analysis of Access Control Policy Updates 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!

More information about the Types-announce mailing list