Last Call for Participation: PPDP 2016 - 18th International Symposium on Principles and Practice of Declarative Programming

From: German Vidal <gvidal_at_dsic.upv.es>
Date: Tue, 2 Aug 2016 10:51:16 +0200

============================================================

LAST CALL FOR PARTICIPATION:

PPDP 2016
18th International Symposium on
Principles and Practice of Declarative Programming
Edinburgh, UK, September 5-7, 2016
http://ppdp16.webs.upv.es/

co-located with

LOPSTR 2016
26th International Symposium on
Logic-Based Program Synthesis and Transformation
Edinburgh, UK, September 6-8, 2016
http://www.cliplab.org/Conferences/LOPSTR16/

and

SAS 2016
23rd Static Analysis Symposium
Edinburgh, UK, September 8-10, 2016
http://staticanalysis.org/sas2016/

============================================================

Registration is open at:
http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/

  ** EARLY REGISTRATION UNTIL AUGUST 15 **

VISA

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.

INVITED TALKS

* 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

ACCEPTED PAPERS

- 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
  Execution
- 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!

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry

Received on Di Aug 02 2016 - 17:25:05 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:12 CET