From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3FB177F72A for ; Tue, 9 Aug 2016 20:32:31 +0200 (CEST) IronPort-PHdr: 9a23:+C3eIxOvOnlID1wl7Bcl6mtUPXoX/o7sNwtQ0KIMzox0KPnyrarrMEGX3/hxlliBBdydsKMdzbKP+Pu5ESxYuNDa4ShEKMQNHzY+yuwu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9GO35F8bogtit0KjqotuIMlwO3GP2Ouo6bE3v616A7o9O2coqA51y4yOBmmFPdeVSyDEgDnOotDG42P2N+oV++T9bofMr+p0Ie6z7e6MlUe4QV2x+YChmrPHs4E3IRA6Lo38dSXk+kxxSAgGD4gusDbnrtS6v/PJw1DOde8nxVb0mE3z296pnUhiujCAfOiwR8WTbh8U2i7hU9kHy7ydjypLZNdnGfMF1ebnQKIsX Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=pedro.lopez@imdea.org; spf=Pass smtp.mailfrom=pedro.lopez@imdea.org; spf=None smtp.helo=postmaster@estafeta21.imdea.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pedro.lopez@imdea.org) identity=pra; client-ip=193.145.15.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pedro.lopez@imdea.org"; x-sender="pedro.lopez@imdea.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of pedro.lopez@imdea.org designates 193.145.15.46 as permitted sender) identity=mailfrom; client-ip=193.145.15.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pedro.lopez@imdea.org"; x-sender="pedro.lopez@imdea.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@estafeta21.imdea.org) identity=helo; client-ip=193.145.15.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pedro.lopez@imdea.org"; x-sender="postmaster@estafeta21.imdea.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ACAABBIapXmC4PkcFdhBt8txWCD4F9JId/FAEBAQEBAQEBEQEBAQEBCAsLBxkvgjIWgjoGDwEFMAUIGBARAh8HAl8bAYgsAQmhLo9jgwmNPYEBhSmGBoYIgloFhlqDHIl/hUQBgTWDfWqCfIVqB4FrToQNh16BH4w0g3YCHoIDUgQigTc6MgEBhyoBAQE X-IPAS-Result: A0ACAABBIapXmC4PkcFdhBt8txWCD4F9JId/FAEBAQEBAQEBEQEBAQEBCAsLBxkvgjIWgjoGDwEFMAUIGBARAh8HAl8bAYgsAQmhLo9jgwmNPYEBhSmGBoYIgloFhlqDHIl/hUQBgTWDfWqCfIVqB4FrToQNh16BH4w0g3YCHoIDUgQigTc6MgEBhyoBAQE X-IronPort-AV: E=Sophos;i="5.28,495,1464645600"; d="scan'208";a="187301489" Received: from maquina46.madrimasd.org (HELO estafeta21.imdea.org) ([193.145.15.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Aug 2016 20:32:30 +0200 Received: from localhost (localhost [127.0.0.1]) by estafeta21.imdea.org (imdea mail daemon) with ESMTP id 5C39B21752F; Tue, 9 Aug 2016 20:32:29 +0200 (CEST) X-Virus-Scanned: by antispam-antivirus system at imdea.org Received: from estafeta21.imdea.org ([127.0.0.1]) by localhost (estafeta21.imdea.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id YiiFS94_5np4; Tue, 9 Aug 2016 20:32:28 +0200 (CEST) Received: from mail.imdea.org (php21r1.imdea.org [10.17.49.144]) (Authenticated sender: pedro.lopez) by estafeta21.imdea.org (imdea mail daemon) with ESMTPA id E0C9721752E; Tue, 9 Aug 2016 20:32:28 +0200 (CEST) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Date: Tue, 09 Aug 2016 20:32:28 +0200 From: "pedro.lopez" To: Message-ID: <734bf8e96578c06b54a06a6c687aefca@imdea.org> X-Sender: pedro.lopez@imdea.org User-Agent: Roundcube Webmail/0.7.1 Subject: [Caml-list] Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation ============================================================ CALL FOR PARTICIPATION: LOPSTR 2016 26th International Symposium on Logic-Based Program Synthesis and Transformation, Edinburgh, Scotland UK, September 6-8, 2016 http://www.cliplab.org/Conferences/LOPSTR16/ co-located with PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, Scotland UK, September 5-7, 2016 http://ppdp16.webs.upv.es/ and SAS 2016 23rd Static Analysis Symposium, Edinburgh, Scotland 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. If so, contact us as soon as possible as explained here: http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/registration.html Getting a visa can take from 3-6 weeks depending on the nationality and country from which applying. We recommend that anyone considering attending who needs a visa register now and apply now. If you are eventually unable to attend due to visa issues we will refund your registration fee. INVITED TALKS - Greg Morrisett, Cornell University, USA (jointly with PPDP'16): Challenges in Compiling Coq. - Francesco Logozzo, Facebook, USA (jointly with PPDP'16): Abstract interpretation for taint analysis at scale. - Martin Vechev, ETH Zurich, Switzerland (jointly with SAS'16): Learning from Programs: Probabilistic Models, Program Analysis and Synthesis. ACCEPTED PAPERS - Symbolic Abstract Contract Synthesis in a Rewriting Framework. María Alpuente, Daniel Pardo and Alicia Villanueva. - Coinductive Soundness of Corecursive Type Class Resolution. Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond and Peng Fu. - MiniZinc with Strings. Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey and Guido Tack. - On the Completeness of Selective Unification in Concolic Testing of Logic Programs. Fred Mesnard, Etienne Payet and German Vidal. - Verification of Time-Aware Business Processes using Constrained Horn Clauses. Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi and Maurizio Proietti. - Tuning Fuzzy Logic Programs with Symbolic Execution. Gines Moreno, Jaime Penabad and German Vidal. - A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Paul Tarau. - A New Functional-Logic Compiler for Curry: Sprite. Sergio Antoy and Andy Jost. - Towards Reversible Computation in Erlang. Naoki Nishida, Adrian Palacios and German Vidal. - Slicing Concurrent Constraint Programs. Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte and Catuscia Palamidessi. - Scaling Bounded Model Checking By Transforming Programs With Arrays. Anushri Jana, Uday Khedker, Advaita Datar, R Venkatesh and Niyas C. - Hierarchical Shape Abstraction of Free-List Memory Allocators. Bin Fang and Mihaela Sighireanu. - A Productivity Checker for Logic Programming. Ekaterina Komendantskaya, Patricia Johann and Martin Möhrmann. - Automata Theory Approach to Predicate Intuitionistic Logic. Maciej Zielenkiewicz and Aleksy Schubert. - Nominal Unification of Higher Order Expressions with Recursive Let. Manfred Schmidt-Schauss, Temur Kutsia, Jordi Levy and Mateu Villaret. - A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. Elvira Albert, Nikolaos Bezirgiannis, Frank De Boer and Enrique Martin-Martin. - Partial Evaluation of Order-sorted Equational Programs modulo Axioms. María Alpuente, Angel Cuenca, Santiago Escobar and Jose Meseguer. - lpopt: A Rule Optimization Tool for Answer Set Programming. Manuel Bichler, Michael Morak and Stefan Woltran. - CurryCheck: Checking Properties of Curry Programs. Michael Hanus. - Intuitionistic Logic for SQL. Fernando Saenz-Perez. Hope to see you in Edinburgh! Manuel Hermengildo and Pedro Lopez-Garcia LOPSTR 2016 Co-chairs