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 c5ff346549e7 (Postfix) with ESMTPS id D73265D4 for ; Fri, 12 Apr 2019 12:00:24 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,341,1549926000"; d="scan'208,217";a="378386263" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Apr 2019 14:00:23 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5669C82691; Fri, 12 Apr 2019 14:00:23 +0200 (CEST) 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 8D5BB8249D for ; Fri, 12 Apr 2019 14:00:19 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qk1-f170.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AWk0MRhZmaxqmQSY58Bv2gDf/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8SzbnLW6fgltlLVR4KTs6sC17OP9fq5EjZaqdbZ6TZeKcQKD0dEwe?= =?us-ascii?q?wt3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMYbjZZ/Jqor1BfFv3REd/?= =?us-ascii?q?pIyWh1IV6fgwvw6t2/8ZJ+7yhcoe4t+9JFXa7nY6k2ULtUASg8PWso/sPrrx7D?= =?us-ascii?q?TQWO5nsYTGoblwdDDhbG4h/nQJr/qzP2ueVh1iaUO832Vq00Vi+576h3Uh/oiT?= =?us-ascii?q?wIOCA//WrKl8F/lqNboBampxxi347ZZZyeOfRicq/Be94RWHFMVdhNWSNfHoy8?= =?us-ascii?q?bpMPD+sfMuZes4n9vEYFoR+nCQWxGO/j1jpEi3nr1qM4zushCxnL0wMuH90MsH?= =?us-ascii?q?raotb7OroMX++p16TH1ynPYulM1Dvh9ITFcBYsquyMU7JqdsrRzFEiGQLfgVqL?= =?us-ascii?q?s4zlPi2a1uAQuGaG8+VgVfygi3Q5pAFrvzOiwcgshZPSiYIPy1DL6yF5zJwuJd?= =?us-ascii?q?KkSE50f8SkH4VKtyyBOIt2R9ktQ2BsuCog1rIGvpu7cTEMxZ86yRDfbPmHfJKJ?= =?us-ascii?q?4hLlTOuRITl5iGh/d72jnRqy7Eugx+vhXce3yFZHtjRJnsXIu3wX1BHe6tKLRu?= =?us-ascii?q?Vj8ku/wzqDygLe5v1CLEspj6TUMYQhzaQ1lpcLsUTMACv2mELuga+TbEok++yo?= =?us-ascii?q?5/3+YrXlu5OQLoF0hhz8P6gygMC/DuM4Mg8BX2if5+uwzqHs/Ur8QLlSj/02lL?= =?us-ascii?q?fWsIzCKMgFuqK0BxVZ34Uj5hqlETuqzsoUkWMaIF9HZB6Ll43pNEvPIPD8A/e/?= =?us-ascii?q?mVOskDJzyvDJJLLuGY/NLnndn7flZ7p98FJTyAotwtBF+Z1UEKoMIP32WkDrtd?= =?us-ascii?q?zYCgU1PBCzw+biENl9zJ8RWXqTAq+FN6PfqUOH6fgqI+mIfYMVvDf9K+M55/P1?= =?us-ascii?q?ln84mVodfbGz0pcNaXC4GO5mI0SDbnb2jNcBCzRCgg1rYe/jlFCYUDhaL1W1Wq?= =?us-ascii?q?866jg9FJmlBJbKDtSuh7mM2iuyGIFNZWlXA3iDFH7pc8OPXPJaOwyIJco0vTUO?= =?us-ascii?q?T7msT8ca3hGjrgLgg+5oJ+DO+yAc84no1NVv6vf7mhQ79DgyBMOYhTLeB1pol3?= =?us-ascii?q?8FEmdllJt0plZwnxLaifAh0q5oUOdL7vYMaT8UcJvVzuh0Edf3A1uTcdKASVLg?= =?us-ascii?q?SdKjU2hoE4ABhuQWakM4IO2MyxDO2y3wXe0Qnr2PQYU3q+fShiepYcl6zHnC2e?= =?us-ascii?q?8qiFx0GpITZ13jvbZ28k3oP6CMi1+Qzv/4eqEV3SqL/2CGnzKD?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A5AADtfLBchqreVdFlHgEGBwaBUQkLA?= =?us-ascii?q?YEOgSlBUDMUFIQOgR2CXo8ugg2OfYlLFIFnEB+ETgKFdhsHAQQwCQ4BAwEBCgE?= =?us-ascii?q?CAQEBARMBAQEICwsIGw4jDII6KQGCZwEEAR0GHQEbDBEBAwELBgMCCy0BCQICI?= =?us-ascii?q?QEBEQEFARwGExaDDAGBaAEDDQ+QN5AMPIsdgRIFAReCegWEOgoZJw1fgTkCBxK?= =?us-ascii?q?BIAGLRoFXP4ERghR+PoIagXIRgzGCVwOKagaaejYHAoIHTQSFNoQihCGDRxqCB?= =?us-ascii?q?12FPYxOk0+MOQ8hgRwSeoEUMxojLyExgjsJggEag1WHeoJbQDABjh8CJAeCJAE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0A5AADtfLBchqreVdFlHgEGBwaBUQkLAYEOgSlBUDMUFIQ?= =?us-ascii?q?OgR2CXo8ugg2OfYlLFIFnEB+ETgKFdhsHAQQwCQ4BAwEBCgECAQEBARMBAQEIC?= =?us-ascii?q?wsIGw4jDII6KQGCZwEEAR0GHQEbDBEBAwELBgMCCy0BCQICIQEBEQEFARwGExa?= =?us-ascii?q?DDAGBaAEDDQ+QN5AMPIsdgRIFAReCegWEOgoZJw1fgTkCBxKBIAGLRoFXP4ERg?= =?us-ascii?q?hR+PoIagXIRgzGCVwOKagaaejYHAoIHTQSFNoQihCGDRxqCB12FPYxOk0+MOQ8?= =?us-ascii?q?hgRwSeoEUMxojLyExgjsJggEag1WHeoJbQDABjh8CJAeCJAEB?= X-IronPort-AV: E=Sophos;i="5.60,341,1549926000"; d="scan'208,217";a="302694319" X-MGA-submission: =?us-ascii?q?MDG65+y94c5TUnFm6MOamIxUgcrwbEAO4JBriT?= =?us-ascii?q?hR9GAcXEMfkBZc32H5F5RT3CfTwQzcPoan8CrknGlX+dHHzJU0XbcnJy?= =?us-ascii?q?acsQbQQCtg0/QcjVAzcHOBinTSfKxBM8cLdZVABg+Hb/YyGdWgkdiTmM?= =?us-ascii?q?8NqEehnmXGztgDR/P5kRMKzA=3D=3D?= Received: from mail-qk1-f170.google.com ([209.85.222.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Apr 2019 14:00:17 +0200 Received: by mail-qk1-f170.google.com with SMTP id s81so5420904qke.13 for ; Fri, 12 Apr 2019 05:00:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=G90Ws9LJU5XC/Jc7cBhcXSjr4CGqX/3ZgJih5L0YpFY=; b=uzIy/5DbBNCRzqycyF8uFgODc5I1qAOEHQp2ya7nHUMSkLRd6F2T+0woyrGa1xdfww mS7R43gj9U5GzL7DIAbM4DIqoGeK3vnVDIFmlx+fK3yJnGFbyQV7ict38lhnJ6Teyi9h ybaeRsOqVKkUI89nfqCyJOYgSXP83kcr5lTO4OfK2B9WTwdO9ys+uwczsVRwV3mTeW7L 94DzDDkgCY7qfatV+pvjrGdu9UjIMRGtn/7QfF8NYMNaDcWoPTCZeROnQIsvnN+MZI13 sLiY79t07ATlFz1iyBtIgyF8PftHIoFXAm9PMGbo44+RDuvuLhXtZuDy+77FUCQfk+Yd PI0g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=G90Ws9LJU5XC/Jc7cBhcXSjr4CGqX/3ZgJih5L0YpFY=; b=B6CytfrH+tSHnkjg9fQSXpltBuufi0vYmRAgjecKpwH3XpJcMYSRw9/wMwPKt7G8c2 +0HnNJj/dcR1e2eEBTsHCKbVYrVjIOnDwWsdn2CRaPzySqBP4gXPSs1V+tn/127K3C9A uV/ivheWtq25By3sygAir1sR5UJqRLSL0EEWybZH6SLs5ZshHmaVdkCvjXmm9r8AKgnc vpDwfIY8pW9w9w1BS4+53jPGHvmKEZ7V19nWEjhDxKM5ReeytD1xdV4aLmhZCOnos6uO fbcJ5vyHyWtHNsTHaa1qXQhWFsc1ZxqKWdViPMl3LEhmUrb9TRjhWOnNLPHwXDtpvU29 3rgg== X-Gm-Message-State: APjAAAUyzcL1zCP5/kWIGV79oqLeyzxVx4oS3UqDDBCn0hdSdJlDPU7M B1xlwqHYqNyRo1Aj+5frJ0xjryXCfFbQku8TVsA= X-Google-Smtp-Source: APXvYqwwyhbb+AdzC6t5mxKslnxlhk592YAs6fiwZth+p5ig1skt2bZl0IVgbevJ9tLjrJb7XPQjUPKpJXIwFzggEiE= X-Received: by 2002:a37:654e:: with SMTP id z75mr43307508qkb.314.1555070416416; Fri, 12 Apr 2019 05:00:16 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Gabriel Scherer Date: Fri, 12 Apr 2019 13:59:48 +0200 Message-ID: To: Ekaterina Komendantskaya Cc: caml users Content-Type: multipart/alternative; boundary="000000000000c573a90586540ba0" Subject: Re: [Caml-list] PPDP'19 Final CFP Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 17484 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000c573a90586540ba0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear Ekaterina (and caml-list), I am considering PPDP for a submission=C2=B9 but, for me personally, the ab= ility to retain my author rights and have the paper published as open-access at a reasonable price (cost of operation) is a deciding factor. There is little information on the PPDP website or in the CFP besides the fact that it's ACM-published; do I correctly understand that authors wishing to retain their full rights over their work would have to pay the standard ACM author-processing charge of $900? =C2=B9: actually two submissions. Best On Fri, Apr 12, 2019 at 12:38 PM Ekaterina Komendantskaya < komendantskaya@gmail.com> wrote: > FINAL CALL FOR PAPERS -- PPDP 2019 > > 21st International Symposium on > > Principles and Practice of Declarative Programming > > 7=E2=80=939 October 2019, Porto, Portugal > > Collocated with FM'19 > > http://ppdp2019.macs.hw.ac.uk > > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D > > Important Dates > > --------------- > > Title and abstract registration 26 April 2019 (AoE) > > Paper submission 3 May 2019 (AoE) > > Rebuttal period (48 hours) 3 June 2019 (AoE) > > Author notification 14 June 2019 > > Final paper version 15 July 2019 > > Conference 7=E2=80=939 October 2019 > > About PPDP > > ---------- > > The PPDP 2019 symposium brings together researchers from the declarative > > programming communities, including those working in the functional, logic= , > > answer-set, and constraint handling programming paradigms. The goal is to > > stimulate research in the use of logical formalisms and methods for > analyzing, > > performing, specifying, and reasoning about computations, including > mechanisms > > for concurrency, security, static analysis, and verification. > > > Invited Speakers > > ---------------- > > Amal Ahmed Northeastern University, USA > > Title: TBA > > Naoki Kobayashi The University of Tokyo, Japan > > Title: 10 Years of the Higher-Order Model Checking Project > > Scope > > ----- > > Submissions are invited on all topics related to declarative programming, > from > > principles to practice, from foundations to applications. Topics of > interest > > include, but are not limited to > > - Language Design: domain-specific languages; interoperability; > concurrency, > > parallelism and distribution; modules; probabilistic languages; functiona= l > > languages; reactive languages; database languages; knowledge > representation > > languages; languages with objects; language extensions for tabulation; > metaprogramming. > > - Implementations: abstract machines; interpreters; compilation; > compile-time > > and run-time optimization; memory management. > > - Foundations: types; logical frameworks; monads and effects; semantics. > > - Analysis and Transformation: partial evaluation; abstract > interpretation; > > control flow; data flow; information flow; termination analysis; resource > > analysis; type inference and type checking; verification; validation; > > debugging; testing. > > - Tools and Applications: programming and proof environments; verificatio= n > > tools; case studies in proof assistants or interactive theorem provers; > > certification; novel applications of declarative programming inside and > > outside of CS; declarative programming pearls; practical experience > reports > > and industrial application; education. > > For further information, please visit: > > http://ppdp2019.macs.hw.ac.uk > > > > > > --000000000000c573a90586540ba0 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear Ekaterina (and caml-list),

<= div>I am considering PPDP for a submission=C2=B9 but, for me personally, th= e ability to retain my author rights and have the paper published as open-a= ccess at a reasonable price (cost of operation) is a deciding factor. There= is little information on the PPDP website or in the CFP besides the fact t= hat it's ACM-published; do I correctly understand that authors wishing = to retain their full rights over their work would have to pay the standard = ACM author-processing charge of $900?

=C2=B9: = actually two submissions.

Best
<= br>


On Fri, Apr 12, 2019 at 12:38 PM Ekaterina Komendan= tskaya <komendantskaya@gmail= .com> wrote:

FINAL CALL FOR = PAPERS -- PPDP 2019


21st International Symposium = on

Principles and Practice of Declarative Programming=


7=E2=80=939 October 2019, Porto, Portugal


Collocated with FM'19


http://ppdp2019.ma= cs.hw.ac.uk


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D


Important Dates

---------------


Title and abst= ract registration 26 April 2019 (AoE)

Paper submissio= n 3 May 2019 (AoE)

Rebuttal period (48 hours) 3 June = 2019 (AoE)

Author notification 14 June 2019

Final paper version 15 July 2019

Confere= nce 7=E2=80=939 October 2019


About PPDP <= /p>

----------


The PPDP 2019 symposium = brings together researchers from the declarative

prog= ramming communities, including those working in the functional, logic,

answer-set, and constraint handling programming paradigms= . The goal is to

stimulate research in the use of log= ical formalisms and methods for analyzing,

<= span style=3D"font-size:10pt;font-family:"Courier New";color:rgb(= 0,0,0);background-color:transparent;font-variant-numeric:normal;font-varian= t-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">performin= g, specifying, and reasoning about computations, including mechanisms

for concurrency, security, static analysis, and verificati= on.



Invited Speakers

--= --------------


Amal Ahmed Northeastern University= , USA

Title: TBA

Naoki Kobayashi The University of Tokyo, Japan

= Title: 10 Years of the Higher-Order Model Checking Project= =


Scope

-----


Submissions are invited on all topics related to declarative programmi= ng, from

principles to practice, from foundations to = applications. Topics of interest

include, but are no= t limited to


- Language Design: domain-specific l= anguages; interoperability; concurrency,

parallelism = and distribution; modules; probabilistic languages; functional

<= p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt;te= xt-align:justify">languages; reactive languages; database languages; knowledge repr= esentation

languages; languages with objects; languag= e extensions for tabulation; metaprogramming.


- I= mplementations: abstract machines; interpreters; compilation; compile-time =

and run-time optimization; memory management. =


- Foundations: types; logical frameworks; monads and eff= ects; semantics.


- Analysis and Transformation: p= artial evaluation; abstract interpretation;

<= span style=3D"font-size:10pt;font-family:"Courier New";color:rgb(= 0,0,0);background-color:transparent;font-variant-numeric:normal;font-varian= t-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">control f= low; data flow; information flow; termination analysis; resource

analysis; type inference and type checking; verification; valid= ation;

debugging; testing.


= - Tools and Applications: programming and proof environments; verification =

tools; case studies in proof assistants or interactiv= e theorem provers;

certification; novel applications = of declarative programming inside and

outside of CS; = declarative programming pearls; practical experience reports

and industrial application; education.


For further information, please visit:=C2=A0<= /font>

http://ppdp2019.macs.hw.ac.uk

=C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0



=
--000000000000c573a90586540ba0--