From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 4FB0C7F72C for ; Mon, 15 Aug 2016 09:26:19 +0200 (CEST) IronPort-PHdr: 9a23:Jj/e+BD8hrMVjlNRWgJeUyQJP3N1i/DPJgcQr6AfoPdwSP7zo8bcNUDSrc9gkEXOFd2CrakV0qyP7+u5ADJIoc7Y9itTKNoUD15NoP5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdazLE4Lfx/66y/q1s8WKJV4Z3XzkPfgrdUv+7V2I8JJH2c06cud54yCKi0MAQ/5Ry2JsKADbtDfHzeD0wqRe9T9Nsekq7c9KXPayVa05SbtFEGZuaDhtt4XdiCKGfFDfvD5GDG9e0kEQW0mWpC39C5z4ty+/sutmxAGbO9f3RPY6Q2eM9aBuHSflhD0Afxqi6GzFwuN5lqneqVr1vxFz2YmSZIaNOehWf6bRcNpcQnBOCJUCHxddC5+xOtJcR9EKOvxV+tKl/1Y= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pedro.lz.ga@gmail.com; spf=Pass smtp.mailfrom=pedro.lz.ga@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f54.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of pedro.lz.ga@gmail.com) identity=pra; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pedro.lz.ga@gmail.com"; x-sender="pedro.lz.ga@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of pedro.lz.ga@gmail.com designates 74.125.82.54 as permitted sender) identity=mailfrom; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pedro.lz.ga@gmail.com"; x-sender="pedro.lz.ga@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f54.google.com) identity=helo; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pedro.lz.ga@gmail.com"; x-sender="postmaster@mail-wm0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A7AwB3bbFXhjZSfUpehBt8B4Qko2aMH4J4gg+CIYV5gTEHOBQCAQEBAQEBAQESAQEBCAsLCRkvgjYDAwMBAgIBAQEGgioLBh0BJwUIBQMNBRAwBwIkEgEFAT4Zh3UDFw6haIIHgTI+Mos8gwmBPAWGWScNhGkCBhCMIIM0ghwLLYJaBYZdgxyKAYVEhTRqgn6FeoFrToQNh16BH4w3gjgTHoEPDw91gQ5SJoE3OjIBAYcNAQEB X-IPAS-Result: A0A7AwB3bbFXhjZSfUpehBt8B4Qko2aMH4J4gg+CIYV5gTEHOBQCAQEBAQEBAQESAQEBCAsLCRkvgjYDAwMBAgIBAQEGgioLBh0BJwUIBQMNBRAwBwIkEgEFAT4Zh3UDFw6haIIHgTI+Mos8gwmBPAWGWScNhGkCBhCMIIM0ghwLLYJaBYZdgxyKAYVEhTRqgn6FeoFrToQNh16BH4w3gjgTHoEPDw91gQ5SJoE3OjIBAYcNAQEB X-IronPort-AV: E=Sophos;i="5.28,524,1464645600"; d="scan'208,217";a="231482616" Received: from mail-wm0-f54.google.com ([74.125.82.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 Aug 2016 09:25:44 +0200 Received: by mail-wm0-f54.google.com with SMTP id i5so86711527wmg.0 for ; Mon, 15 Aug 2016 00:25:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to; bh=oiup3L9SGm2lk3evxOeg/WE9AL0v+94M16CjewNKa4o=; b=vCxglkjd7REC3XdZutyt5RBGNYVPBFkYgsiPSobzR2j79/4+v2tItg7Kwp2VicChEl ozIsD7L9tH/FLHMCcoCu31cW4sRF6thgbk0TEYgOC2wE8KtzEyEbUQWqe4icemJtZO6N DkMQR1tmEOLfgJxarhEwK0QoU8Gp9EULkHFGmeWCuX4iKy+Q+S/k2o+hGcDONMKNJ0dL qYTRy7TgNUHeHHbUqou1o1sGRwJTXpePERU6x5Gkp6uUdG6K1142xm3wNfdaL/yTXIGC xxCTpneAnaErNN5VF12QFJ8ljpjTE4+Jd+htqHRkwwWQsE8tSix9EqPnAh/mmwqTUrNT ZoqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=oiup3L9SGm2lk3evxOeg/WE9AL0v+94M16CjewNKa4o=; b=Y6Lf/DiZlZz2HbPQIt4FbOfqfQAXGZeTCDpbv27teUPjeo7OXn84Ro37AXACZuO9WL aNnjZ3frCmPBy8pLgpRs8KZHI+vb77ZnMkNsHFySlMmOgRaA5N3VPjx8TRG6N7sZIjyh mvhxckxUoaR8LmTYBpRQjx1ZXGgfK7hIFPmf5q/TyNiylbffUJ+bW80SgUvG+0chGqTL z6roEddovbl94R7P44Q8XU1VGhp4pHdNzF2H298WPsVSnbypsbu66Hc+fQc2+XcezN/S MKU+ORp3SBdgeluKehNN6dyRH5K/d7SHw9eqklnrI9PKBiwnnz+NyIs7X1Vl9/C4UG4/ QD+g== X-Gm-Message-State: AEkooutZxEnmYZTS6HEKE/YPDpnw0xZI6euxJk47g2uJEwnQYnZP6StsZr0HYA62sUXw+piF37XQAUgnqbfLWg== X-Received: by 10.46.33.5 with SMTP id h5mr4592639ljh.43.1471245944122; Mon, 15 Aug 2016 00:25:44 -0700 (PDT) MIME-Version: 1.0 Sender: pedro.lz.ga@gmail.com Received: by 10.25.21.139 with HTTP; Mon, 15 Aug 2016 00:25:43 -0700 (PDT) From: =?UTF-8?B?UGVkcm8gTMOzcGV6IEdhcmPDrWE=?= Date: Mon, 15 Aug 2016 09:25:43 +0200 X-Google-Sender-Auth: gYPMeS_GYAZ4UR5KtXgRwkRQ35o Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a1142c2f6e07282053a17239a Subject: [Caml-list] Last Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation --001a1142c2f6e07282053a17239a Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable =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 LAST 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/ =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 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=C3=ADa 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=C3=B6hrmann. - 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=C3=ADa 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 Programming for SQL. Fernando Saenz-Perez. Hope to see you in Edinburgh! Manuel Hermengildo and Pedro Lopez-Garcia LOPSTR 2016 Co-chairs --001a1142c2f6e07282053a17239a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
=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

=
LAST CALL FOR PARTICIPATION:

LOPSTR 2016=C2= =A0
26th International Symposium on=C2=A0
Logic-Based P= rogram Synthesis and Transformation,
Edinburgh, Scotland UK, Sept= ember 6-8, 2016

co-located with

PPDP 2016
18th In= ternational Symposium on
Principles and Practice of Declarative P= rogramming,
Edinburgh, Scotland UK, September 5-7, 2016
http://ppdp16.webs.upv.es/

and

SAS 2016
23rd S= tatic Analysis Symposium,
Edinburgh, Scotland UK, September 8-10,= 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

Registration is open at:

=C2=A0= ** EARLY REGISTRATION UNTIL AUGUST 15 **

VISA

Please check here: https://www.gov.uk/check-uk-visa whether you
requi= re a visa to visit the UK. If so, contact us as soon as possible
= as explained here:
Getting a visa can take from= 3-6 weeks depending on the nationality
and country from which ap= plying.

We recommend that anyone considering atten= ding who needs a visa
register now and apply now.=C2=A0 If you ar= e eventually unable to attend
due to visa issues we will refund y= our registration fee.

INVITED TALKS

=
- Greg Morrisett, Cornell University, USA (jointly with PPDP'= ;16):=C2=A0
=C2=A0 Challenges in Compiling Coq.

- Francesco Logozzo, Facebook, USA (jointly with PPDP'16):
=C2=A0 Abstract interpretation for taint analysis at scale.
- Martin Vec= hev, ETH Zurich, Switzerland (jointly with SAS'16):=C2=A0
=C2= =A0 Learning from Programs: Probabilistic Models, Program Analysis and Synt= hesis.=C2=A0

ACCEPTED PAPERS

<= div>- Symbolic Abstract Contract Synthesis in a Rewriting Framework.=C2=A0<= /div>
=C2=A0 Mar=C3=ADa Alpuente, Daniel Pardo and Alicia Villanueva. = =C2=A0

- Coinductive Soundness of Corecursive Type= Class Resolution.
=C2=A0 Frantisek Farka, Ekaterina Komendantska= ya, Kevin Hammond and Peng Fu.

- MiniZinc with Str= ings.=C2=A0
=C2=A0 Roberto Amadini, Pierre Flener, Justin Pearson= , Joseph D. Scott, Peter
=C2=A0 J. Stuckey and Guido Tack.
<= div>
- On the Completeness of Selective Unification in Concol= ic Testing of
=C2=A0 Logic Programs.
=C2=A0 Fred Mesnar= d, Etienne Payet and German Vidal.

- Verification = of Time-Aware Business Processes using Constrained Horn Clauses.=C2=A0
=C2=A0 Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alber= to
=C2=A0 Pettorossi and Maurizio Proietti.

<= div>- Tuning Fuzzy Logic Programs with Symbolic Execution.=C2=A0
= =C2=A0 Gines Moreno, Jaime Penabad and German Vidal.

- A Hiking Trip Through the Orders of Magnitude: Deriving Efficient
=C2=A0 Generators for Closed Simply-Typed Lambda Terms and Normal For= ms.=C2=A0
=C2=A0 Paul Tarau.

- A New Fun= ctional-Logic Compiler for Curry: Sprite.=C2=A0
=C2=A0 Sergio Ant= oy and Andy Jost.

- Towards Reversible Computation= in Erlang.=C2=A0
=C2=A0 Naoki Nishida, Adrian Palacios and Germa= n Vidal.

- Slicing Concurrent Constraint Programs.= =C2=A0
=C2=A0 Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte= and Catuscia
=C2=A0 Palamidessi.

- Scal= ing Bounded Model Checking By Transforming Programs With Arrays.=C2=A0
=C2=A0 Anushri Jana, Uday Khedker, Advaita Datar, R Venkatesh and Niy= as C.

- Hierarchical Shape Abstraction of Free-Lis= t Memory Allocators.=C2=A0
=C2=A0 Bin Fang and Mihaela Sighireanu= .

- A Productivity Checker for Logic Programming.= =C2=A0
=C2=A0 Ekaterina Komendantskaya, Patricia Johann and Marti= n M=C3=B6hrmann.

- Automata Theory Approach to Pre= dicate Intuitionistic Logic.=C2=A0
=C2=A0 Maciej Zielenkiewicz an= d Aleksy Schubert.

- Nominal Unification of Higher= Order Expressions with Recursive Let.=C2=A0
=C2=A0 Manfred Schmi= dt-Schauss, Temur Kutsia, Jordi Levy and Mateu Villaret.

- A Formal, Resource Consumption-Preserving Translation of Actors to= Haskell.=C2=A0
=C2=A0 Elvira Albert, Nikolaos Bezirgiannis, Fran= k De Boer and Enrique Martin-Martin.

- Partial Eva= luation of Order-sorted Equational Programs modulo Axioms.=C2=A0
= =C2=A0 Mar=C3=ADa Alpuente, Angel Cuenca, Santiago Escobar and Jose Mesegue= r.

- lpopt: A Rule Optimization Tool for Answer Se= t Programming.=C2=A0
=C2=A0 Manuel Bichler, Michael Morak and Ste= fan Woltran.

- CurryCheck: Checking Properties of = Curry Programs.=C2=A0
=C2=A0 Michael Hanus.

<= div>- Intuitionistic Logic Programming for SQL.
=C2=A0 Fernando S= aenz-Perez.

Hope to see you in Edinburgh!

Manuel Hermengildo and=C2=A0
Pedro Lopez-Garcia<= /div>
LOPSTR 2016 Co-chairs =C2=A0=C2=A0

--001a1142c2f6e07282053a17239a--