From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D08917FF37 for ; Tue, 2 Aug 2016 10:51:41 +0200 (CEST) IronPort-PHdr: 9a23:ksuE8h+ejT3OR/9uRHKM819IXTAuvvDOBiVQ1KB91uIcTK2v8tzYMVDF4r011RmSDN2dtK0P07CempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EkfqKqRcWK1Yye7KObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vrvGZp8Y6tnwJ87J4qo8TGZn9Kos1V7lRCnwYMmw84IW/ugfCQQKLzncHU25QjwJWRQXeukLURJD05wT3rO903mGkPMH/SfhgViqj465vYBPziSxBKiYntmzM3J8jxJlHqQ6s8kQsi7XfZ5uYYaMjcw== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gvidal@dsic.upv.es; spf=Pass smtp.mailfrom=gvidal@dsic.upv.es; spf=Pass smtp.helo=postmaster@smtpsalv.upv.es Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gvidal@dsic.upv.es) identity=pra; client-ip=158.42.249.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gvidal@dsic.upv.es"; x-sender="gvidal@dsic.upv.es"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gvidal@dsic.upv.es designates 158.42.249.11 as permitted sender) identity=mailfrom; client-ip=158.42.249.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gvidal@dsic.upv.es"; x-sender="gvidal@dsic.upv.es"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@smtpsalv.upv.es designates 158.42.249.11 as permitted sender) identity=helo; client-ip=158.42.249.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gvidal@dsic.upv.es"; x-sender="postmaster@smtpsalv.upv.es"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ArAQA4XqBXhwv5Kp5chBt8AaUhkXeEDCSCQoUqEQEBAQEBAQEBEQEBAQoLCQkZL4IyBAOCSR0GAQEmDQUoLWgciCgFCbAYhSoBAQWLPQEBAQcBAQEBARoIhiqBeAiEBoYzgi+JeoQhhVqFQ4YYgnyFa4FrToQMgwCEW4EfjDCDdzSCPwQigTdsAYgWAQEB X-IPAS-Result: A0ArAQA4XqBXhwv5Kp5chBt8AaUhkXeEDCSCQoUqEQEBAQEBAQEBEQEBAQoLCQkZL4IyBAOCSR0GAQEmDQUoLWgciCgFCbAYhSoBAQWLPQEBAQcBAQEBARoIhiqBeAiEBoYzgi+JeoQhhVqFQ4YYgnyFa4FrToQMgwCEW4EfjDCDdzSCPwQigTdsAYgWAQEB X-IronPort-AV: E=Sophos;i="5.28,459,1464645600"; d="scan'208";a="228735561" Received: from smtpsalv.cc.upv.es (HELO smtpsalv.upv.es) ([158.42.249.11]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 Aug 2016 10:51:40 +0200 Received: from smtpx.upv.es (smtpxv.cc.upv.es [158.42.249.46]) by smtpsalv.upv.es (8.14.4/8.14.4) with ESMTP id u728odMN031932 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 2 Aug 2016 10:50:39 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=upv.es; s=default; t=1470127841; bh=o9q2DpWWcNxpl55qxNtvX14OiDb78X78ldgIrcWBa7Y=; h=From:Date:Subject:To; b=NFBZz0kgNW6I4vaS+e8tsWfefJSPX1EQ1S9coGGB395pMtleBb8odpnbnrvAhGcI7 ncSj3HHdJv6btNQ+pfh5fWjfy9Fwm8tU15k0jND4k1z68483bTYJwYZt2hZKolZi4A u+RoS/i0XH9LtgcUKQrlKYRMNZj7IQVfkvsYuLGSluRYcx1UBVvldh4AeN9cHaZMnu X68VzPqNSXWhCPW77RbvMqIflBYIr/8H0pSxm0GyJbw+6BU6Fjno0ezXFcagn88cMo crNhPnqHUhXO2F0KPIsv1V1smRzGRMK2D5RH0VRJ9GfHFcuRXHyRYpAIztH6EvnLrW Qhwl5fwGk+oYg== Received: from smtp.upv.es (smtpv.cc.upv.es [158.42.249.16]) by smtpx.upv.es (8.14.3/8.14.3) with ESMTP id u728occX018651; Tue, 2 Aug 2016 10:50:38 +0200 Received: from burton.dsic.upv.es (burton.dsic.upv.es [158.42.186.44]) (authenticated bits=0) by smtp.upv.es (8.14.4/8.14.4) with ESMTP id u728oXiu009200 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 2 Aug 2016 10:50:33 +0200 From: German Vidal Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Tue, 2 Aug 2016 10:51:16 +0200 To: German Vidal Message-Id: <74D76972-7182-4553-ACD2-7B87074BCAC1@dsic.upv.es> Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Validation-by: gvidal@dsic.upv.es Subject: [Caml-list] Last Call for Participation: PPDP 2016 - 18th International Symposium on Principles and Practice of Declarative Programming ============================================================ 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!