Call for participation: PPDP 2016

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

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

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 now open:
http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/

**Early registration until August 15**

INVITED TALKS

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

ACCEPTED PAPERS

- 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
  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.
  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
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry

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

This archive was generated by hypermail 2.3.0 : Fri Sep 20 2019 - 07:15:09 CEST