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 ECFE15D4 for ; Fri, 12 Apr 2019 12:30:44 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,341,1549926000"; d="scan'208,217";a="378392253" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Apr 2019 14:30:43 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1AF9382693; Fri, 12 Apr 2019 14:30:43 +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 83A1282673 for ; Fri, 12 Apr 2019 14:30:40 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=komendantskaya@gmail.com; spf=Pass smtp.mailfrom=komendantskaya@gmail.com; spf=None smtp.helo=postmaster@mail-io1-f53.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A4BPh1RwgBwgX+1/XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+MRIJqq85mqBkHD//Il1AaPAdyCragdwLCI++C4ACpcuM7H6ChDOLV3FDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjMusUMn4duN6k9xgXIr3BVf+?= =?us-ascii?q?ha2X5kKUickhrh+su85oJv/zhVt/k868NOTKL2crgiQ7dFFjomKWc15MPqtRnH?= =?us-ascii?q?UwSC42YXX3sVnBRVHQXL9Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7rxkRwHuhS?= =?us-ascii?q?waKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y7jQds0GS2VfQslRVjRBAoKi?= =?us-ascii?q?YIsJE+oBJvtTo43kq1cTsReyGQygCeXywTFKm3D2x7U33OsvEQ7E3AIuEdEAvm?= =?us-ascii?q?nKotrpL6odS/y5wbPSwDnfc/9b2zHw45XIfBA7pvGMWKp9f8XSyUY1CwPKkE+Q?= =?us-ascii?q?qY3jPzyPy+8Dtm+b7+9+WuKplmEosQdxoiS0xscvkIbIhpgawU3D+CV6x4Y1IM?= =?us-ascii?q?O3SEhmbtG+FptQqzqaN4hsTcIiWW5loyk6yrgctp66eCgG0ogoxxnaa/GedYWD?= =?us-ascii?q?/xztVOGUIThihXJlfqqyhxa88ES60OLzStO40EtJridDj9LCtWgN2gTN5sSbTv?= =?us-ascii?q?Zx5ESs1DaV2wzO6+xJIFo4mKrVJpMn37U+jIAcsV7ZES/zgEj2jLGZdkEj+uWw?= =?us-ascii?q?7uToeLTmppuFO491jQHyL70imsK/DOk2KAQOUG+b+eOz1L3n40L1WqlFjvozkq?= =?us-ascii?q?XBsZDaI9oUprKhDgNLzoou7wyzAjSm3dgCgHUKLVNIdAiHgoXnI13OJer3Dfa7?= =?us-ascii?q?g1SiijdrwPXGM6XiApXKK3jMjrHhcqtn5E5a1Aoz1tNf6IhUC74bO//zVUrxu8?= =?us-ascii?q?bZDh89KQC73+HnCNBl2oMERW2PGrOZML/VsVKQ+u0gOeyMZIsMtDb5Kvgl/OLu?= =?us-ascii?q?gGQimV4deKmpxYEYZGq5HvRgOUWZYGDjjs0PEWcQ7UICS7nFgVeYUDNXL025X6?= =?us-ascii?q?8m6ytzXI2vB53CS4Trm7eB0T22BLVZY2lHDhaHFnK+JKueXPJZRSGbPsJ7kzoN?= =?us-ascii?q?HZumToIn2RioqBT5wqtuZr7X/SgVs57q0sRu5OTCnDk98DV1C4KW1GTbHDI8pX?= =?us-ascii?q?8BWzJjhPM3mkd60FrWlPEg26UJR+wW3OtAV0IBDbCZyuV7D97oXQeYJ4WGTV+n?= =?us-ascii?q?RpOtBjRjF4tske9LWF50HpCZtj6G3yeuBOVIxbmCBZhx86WFmnasfIByzHHJ0K?= =?us-ascii?q?RnhF4jEJMWaT+Ww5Vn/g2WPLbn1l2Dnv/zJ6sZ1S/JsmyEyDjWsQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AYAAD9g7BchzWmVdFlHgEGBwaBUQkLA?= =?us-ascii?q?YEOgWpQMxQUhA6BHYJejy6CDY59iUsUgWcQH4ROAoV2GwcBBDAJDgEDAQEKAQI?= =?us-ascii?q?BAQEBEwEBAQgNCQgpIwyCOikBgmYBAQEDAR0GHQEbDBEBAwELBgMCCw0gAQkCA?= =?us-ascii?q?iEBAREBBQEcBhMWUII8AYFoAQMND5BDkAw8ix2BEgUBF4J6BYQ6ChknDV+BOQI?= =?us-ascii?q?HEoEgAYtGF4F/gRGCFH4+ghqBcgUBCwcBgymCVwOKagaaejYJggeGB4QihCGDR?= =?us-ascii?q?xqCB12FPYxOjHyGU4w5DyGBHBJ6I3FwLyExgjsJggEag1WHeoJaQTABjh8CDRc?= =?us-ascii?q?HgiQBAQ?= X-IPAS-Result: =?us-ascii?q?A0AYAAD9g7BchzWmVdFlHgEGBwaBUQkLAYEOgWpQMxQUhA6?= =?us-ascii?q?BHYJejy6CDY59iUsUgWcQH4ROAoV2GwcBBDAJDgEDAQEKAQIBAQEBEwEBAQgNC?= =?us-ascii?q?QgpIwyCOikBgmYBAQEDAR0GHQEbDBEBAwELBgMCCw0gAQkCAiEBAREBBQEcBhM?= =?us-ascii?q?WUII8AYFoAQMND5BDkAw8ix2BEgUBF4J6BYQ6ChknDV+BOQIHEoEgAYtGF4F/g?= =?us-ascii?q?RGCFH4+ghqBcgUBCwcBgymCVwOKagaaejYJggeGB4QihCGDRxqCB12FPYxOjHy?= =?us-ascii?q?GU4w5DyGBHBJ6I3FwLyExgjsJggEag1WHeoJaQTABjh8CDRcHgiQBAQ?= X-IronPort-AV: E=Sophos;i="5.60,341,1549926000"; d="scan'208,217";a="302698666" X-MGA-submission: =?us-ascii?q?MDGu3yggIo3HrT48Bs/LJnhMYNUxqw6p4G/J5L?= =?us-ascii?q?IOafKAZEZggfovxnFKOu1Mb0HzlF6BERVHmIn2F46kKEqii3vQX/+MU4?= =?us-ascii?q?E5pHGsJjdD2ZPa7CVYjXWhj2288gtEM/Bc7oeVGuMj82HCxHIp/GOZGH?= =?us-ascii?q?LUdcvRXFwhxEY8LsHE3PUxlA=3D=3D?= Received: from mail-io1-f53.google.com ([209.85.166.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Apr 2019 14:30:38 +0200 Received: by mail-io1-f53.google.com with SMTP id s7so8249429iom.12 for ; Fri, 12 Apr 2019 05:30:38 -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=w7jBNGvkSAc6vNHTcXDlD7pDj56tJwOazYZ8APFSW8I=; b=Q7ZHbvUrnBPJIziJF0/HPsfDA42atGlxmMudsGKRQ4ZS3Bi4xLJFC1IzULKKQ2vT0G d2mculYq6ho3d67BzPMTzRy5xeWpw0tp8TjC1WUjfmz8eygwYJeQ39w5Wf/8yI3jZ+Kc S+iVkh6+AhQZO0REiQSt0y3ldaY+FZoIcJBPkgbeuuK2ddVchaxFTaE+0WIVMe/6bTcj TkNw4vtHaLp9CbKZwGULSfiu2ZWLkWm9/w+yn1G3AzbQwI21TKpKCEiASMYXmBfnvchd 3KnZD2HFzOE5NPf1fqeobz03nKzmW152NykxTrCBnnx+K19zfCFbS2at4HTm+wQHMLGH CZhw== 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=w7jBNGvkSAc6vNHTcXDlD7pDj56tJwOazYZ8APFSW8I=; b=oWQpxS7XSXNtON9aVPIS/qywp/aXD0d0gXcKfEi2jJbr/PNpPH08pwtMKdg1AffRqS llUDaaHGLEMatrx9MS4kiEaIRLwfFK/O8MjwyhLhIP9zQwYSzEFQ57zQRx4CXFvhXatJ 1HxxDSP6zPDV6gERIDouDlJ3QSpTtm3Bef0tru5/CqqUxVeValYDNP5h/MTgFo0ETOBv K0lSWXXPokOuVEOc3Nj6QT1l4U05X6+YoEpfBbe8xo+n32SWuxdHPsAaPPbXU2mXD+B0 OegdsPufm2Sld/zzxkYmBspihLdW6l8qtMST4ckBNHjxsZx0i2MRLahnbQR1gpHHUBEK 2WWg== X-Gm-Message-State: APjAAAXWaJi/Hn1AIxecOvCGpJAmg6yrUvIIJQsMjwxGMpitzRXgiXS/ heZ9ycX7Q0SJynaiY/eRIy3Utl3bQLAKiWxZdoA= X-Google-Smtp-Source: APXvYqwfITWdCWI6drlmwvkqVkF50Z4TEc81RqwUl8JsoxOdQO+n1NycSBi2dExWaGChsQrX3SukmcJZVtKfTwLgRyc= X-Received: by 2002:a5d:840d:: with SMTP id i13mr30231642ion.186.1555072237222; Fri, 12 Apr 2019 05:30:37 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Ekaterina Komendantskaya Date: Fri, 12 Apr 2019 13:30:10 +0100 Message-ID: To: Gabriel Scherer Cc: caml users Content-Type: multipart/alternative; boundary="0000000000004cc15c0586547810" Subject: Re: [Caml-list] PPDP'19 Final CFP Reply-To: Ekaterina Komendantskaya X-Loop: caml-list@inria.fr X-Sequence: 17485 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: --0000000000004cc15c0586547810 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear Gabriel, thanks for your email, consideration to send 2 (!) papers to PPDP, and ofcourse for raising this question about the open access fees. I am about to finalise all paperwork required for the ACM ICPS proceedings for PPDP'19. This includes a decision whether to opt in or opt out of the Open Access fees for PPDP'19 proceedings. I was told that traditionally, PPDP does not pay for open access, in order to reduce the registration fees for its participants. However, following your email, I have now initiated a discussion with the Steering and PC committees about this issue. I will update the CAML-list about this shortly, and certainly before the submission deadline. In the meantime, please do not give up on PPDP'19! :-) Best regards, Katya On Fri, 12 Apr 2019 at 13:00, Gabriel Scherer wrote: > Dear Ekaterina (and caml-list), > > I am considering PPDP for a submission=C2=B9 but, for me personally, the > ability to retain my author rights and have the paper published as > open-access at a reasonable price (cost of operation) is a deciding facto= r. > 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 t= o >> >> 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; >> functional >> >> 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; resourc= e >> >> analysis; type inference and type checking; verification; validation; >> >> debugging; testing. >> >> - Tools and Applications: programming and proof environments; >> verification >> >> 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 >> >> >> >> >> >> --0000000000004cc15c0586547810 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear=C2=A0Gabriel,

thanks for your emai= l, consideration to send=C2=A0 2 (!) papers to PPDP, and ofcourse for raisi= ng this question about the open access fees.

I am = about to finalise all paperwork required for the ACM ICPS proceedings for P= PDP'19. This includes a decision whether to opt in or opt out of the Op= en Access fees for PPDP'19 proceedings. I was told that traditionally, = PPDP does not pay for open access, in order to reduce the registration fees= for its participants.=C2=A0

However, following yo= ur email, I have now initiated a discussion with=C2=A0 the Steering and PC = committees about this issue. I will update the CAML-list about this shortly= , and certainly before the submission deadline.

In= the meantime, please do not give up on PPDP'19! :-)

Best regards,
Katya
=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 =C2=A0 =C2=A0 =C2= =A0



<= /div>

On Fri, 12 Apr 2019 at 13:00, Gabriel Scherer <gabriel.scherer@gmail.com> wro= te:
Dear Ekaterina (and caml-list),

I am con= sidering PPDP for a submission=C2=B9 but, for me personally, the ability to= retain my author rights and have the paper published as open-access at a r= easonable price (cost of operation) is a deciding factor. There is little i= nformation 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 th= eir full rights over their work would have to pay the standard ACM author-p= rocessing charge of $900?

=C2=B9: actually two= submissions.

Best



On Fri, Apr 12, 2019 at 12:38 PM Ekaterina Komendantskaya <<= a href=3D"mailto:komendantskaya@gmail.com" target=3D"_blank">komendantskaya= @gmail.com> wrote:

FINAL CALL FOR PAPERS -- PPDP 2019


21st International Symposium on

Principles and P= ractice of Declarative Programming


7=E2=80=939 Oc= tober 2019, Porto, Portugal


Collocated with FM&= #39;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 <= /p>

Important Dates

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


Title and abstract registration 26 April 2019 (AoE) =

Paper submission 3 May 2019 (AoE)

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

Aut= hor notification 14 June 2019

Final paper version 15 = July 2019

Conference 7=E2=80=939 October 2019 =


About PPDP

----------

<= br>

The PPDP 2019 symposium brings together researchers from the = declarative

programming communities, including those = working in the functional, logic,

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

performing, specifying, and reasoning about com= putations, including mechanisms

for concurrency, se= curity, static analysis, and verification.



In= vited Speakers

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


Amal Ahmed Northeastern University, USA

<= 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">Title: TB= A

Naoki Kobayashi The Universit= y of Tokyo, Japan

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


Scope

=

-----


Submissions are invited on all t= opics related to declarative programming, from

princi= ples to practice, from foundations to applications. Topics of interest

include, but are not limited to


- Language Design: domain-specific languages; interoperability; concurrenc= y,

parallelism and distribution; modules; probabilist= ic languages; functional

languages; reactive language= s; database languages; knowledge representation

langu= ages; languages with objects; language extensions for tabulation; metaprogr= amming.


- Implementations: abstract machines; int= erpreters; compilation; compile-time

and run-time opt= imization; memory management.


- Foundations: type= s; logical frameworks; monads and effects; semantics.


- Analysis and Transformation: partial evaluation; abstract interpreta= tion;

control flow; data flow; information flow; term= ination analysis; resource

analysis; type inference a= nd type checking; verification; validation;

<= 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">debugging= ; testing.


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

tools; case stud= ies in proof assistants or interactive theorem provers;

certification; novel applications of declarative programming inside an= d

outside of CS; declarative programming pearls; prac= tical experience reports

and industrial application; = education.


For fu= rther information, please visit:=C2=A0

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



--0000000000004cc15c0586547810--