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 C4EFE7FE44 for ; Thu, 7 Jul 2016 16:16:11 +0200 (CEST) IronPort-PHdr: 9a23:omqPQBAZIcCY+1EPUpFLUyQJP3N1i/DPJgcQr6AfoPdwSP7+r8bcNUDSrc9gkEXOFd2CrakV06yM4+u+AiQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd+KyZ7nnL7ps7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0rxQ0L46tkr5cIEfynPvdwcbsNIzk8NmkzrPPquRDHBV+A+HoQW2E+ngFJCE7Y9A+8U4yn4QXgse8o9ySAOMTwBY41VT2mp/NkVh7kgSMvOyU4+yfKktI2gbkN80HpnAB234OBONLdD/F5ZK6IJI4X 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: A0BqAAB1Y35Xhwv5Kp5chBR8AbZ/gg+BeyKCP4UaEwEBAQEBAQEBEQEBAQgNCQkhL4Iygj4jAQEmEiiBFRyIJwUJrR+FKgEBBYpyAQoBAQEBGgiGJ4F4CIQGhjOCL44JhVWFOoExhFiCeoVEgjiHBQ6FX5AKIAGCSQSBWWwBiHsBAQE X-IPAS-Result: A0BqAAB1Y35Xhwv5Kp5chBR8AbZ/gg+BeyKCP4UaEwEBAQEBAQEBEQEBAQgNCQkhL4Iygj4jAQEmEiiBFRyIJwUJrR+FKgEBBYpyAQoBAQEBGgiGJ4F4CIQGhjOCL44JhVWFOoExhFiCeoVEgjiHBQ6FX5AKIAGCSQSBWWwBiHsBAQE X-IronPort-AV: E=Sophos;i="5.28,324,1464645600"; d="scan'208";a="225959467" 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; 07 Jul 2016 16:16:10 +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 u67EF9Xv016577 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 7 Jul 2016 16:15:09 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=upv.es; s=default; t=1467900913; bh=+6zyEB46OymaWEohFUgvkvb2NGG9Qr2rdAJiGSeeN/M=; h=From:Date:Subject:To; b=FN09FAkeVQmLT84zt6aY0E1gHTXz1qtubmbVBwiObexAKq+j1qRSjWBHac/uN6B1q OWkwbrwTuK9vZ93JPjFnl1Fj6SGPDp50GOGBk9vLtWO10Rj7Xfmq1UPrTBlkMTZJvH 6NimKeywisjJkOBaCS0r4H2w4FXc0F0eGryo+7nwknh9J1PllPE5PT9fDHtI1Qlwr9 Vaq+ijjsDlRBEbfBwBwgA3bm/99t9pQ1bQF50rwFPX+uR5jqofBeAfGb7Php6FrdHQ JvXnEqoknTeO7LAT9Oph0IM8WSIL+NlcBM04KrYZg/dPMHCmtX9ZIuzsrebG38PLTy aXqjFpDT9Ep1w== 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 u67EF9WJ025609; Thu, 7 Jul 2016 16:15:09 +0200 Received: from [10.202.0.176] ([137.204.150.39]) (authenticated bits=0) by smtp.upv.es (8.14.4/8.14.4) with ESMTP id u67EF3FA011614 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Thu, 7 Jul 2016 16:15:04 +0200 From: German Vidal Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Date: Thu, 7 Jul 2016 16:15:02 +0200 To: German Vidal Message-Id: <768C1B6D-0900-44B0-9489-A7612FBB4A31@dsic.upv.es> Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) X-Validation-by: gvidal@dsic.upv.es Subject: [Caml-list] Call for participation: PPDP 2016 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=20 CALL FOR PARTICIPATION:=20 PPDP 2016=20 18th International Symposium on=20 Principles and Practice of Declarative Programming=20 Edinburgh, UK, September 5-7, 2016=20 http://ppdp16.webs.upv.es/ co-located with=20 LOPSTR 2016=20 26th International Symposium on=20 Logic-Based Program Synthesis and Transformation=20 Edinburgh, UK, September 6-8, 2016=20 http://www.cliplab.org/Conferences/LOPSTR16/ and SAS 2016 23rd Static Analysis Symposium Edinburgh, UK, September 8-10, 2016=20 http://staticanalysis.org/sas2016/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=20 Registration is now open:=20 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=20 using CLP * Greg Morrisett (jointly with LOPSTR'16): TBD * Francesco Logozzo (jointly with LOPSTR'16): TBD ACCEPTED PAPERS - Davide Fusc=E0, Stefano Germano, Jessica Zangari,=20 Marco Anastasio, Francesco Calimeri and Simona Perri.=20 A Framework for Easing the Development of Applications=20 Embedding Answer Set Programming - Dimitrios Kouzapas, Ornela Dardha, Roly Perera and Simon Gay.=20 Typechecking Protocols with Mungo and StMungo - Joaquin Arias Herrero and Manuel Carro. Description and=20 Evaluation of a Generic Design to Integrate CLP and Tabled=20 Execution - Nataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo.=20 Reducing the Overhead of Runtime Checks via Static Analysis - Takahiro Nagao and Naoki Nishida. Proving Inductive Validity=20 of Constrained Inequalities - Vincenzo Mastandrea, Elena Giachino, Ludovic Henrio and=20 Cosimo Laneve. Actors may synchronize, safely! - Frederic Mesnard, Etienne Payet and Wim Vanhoof. Towards a=20 Framework for Algorithm Recognition in Binary Code - Jan Midtgaard, Flemming Nielson and Hanne Riis Nielson. Iterated=20 Process Analysis over Lattice-Valued Regular Expressions - Nick Benton, Martin Hofmann and Vivek Nigam. Effect-Dependent=20 Transformations for Concurrent Programs - Manfred Schmidt-Schauss and David Sabel. Unification of Program=20 Expressions with Recursive Bindings - Stefan Fehrenbach and James Cheney. Language-integrated provenance - Clara Bertolissi, Jean-Marc Talbot and Didier Villevalois.=20 Rewrite-based Access Control Policy Analysis through Narrowing - Sylvia Grewe, Sebastian Erdweg, Michael Raulf and Mira Mezini.=20 Exploration of Language Specifications by Compilation to=20 First-Order Logic - Angelos Charalambidis, Panos Rondogiannis and Antonis=20 Troumpoukis. Higher-Order Logic Programming: an Expressive=20 Language for Representing Qualitative Preferences - Thomas Ehrhard and Giulio Guerrieri. The bang calculus: an untyped=20 lambda-calculus generalizing Call-By-Name and Call-By-Value - Fan Yang, Santiago Escobar, Catherine Meadows, Jose Meseguer=20 and Sonia Santiago. Strand Spaces with Choice via a Process=20 Algebra Semantics - Yanhong A. Liu, Jon Brandvein, Scott Stoller and Bo Lin.=20 Demand-Driven Incremental Object Queries Hope to see you in Edinburgh! =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=20