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 749398249D for ; Fri, 12 Apr 2019 16:16:56 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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-qt1-f173.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.160.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.160.173 as permitted sender) identity=mailfrom; client-ip=209.85.160.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-qt1-f173.google.com) identity=helo; client-ip=209.85.160.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qt1-f173.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AJ2r0HRW/RJEyQsXv68N8cXN1Vn/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbByOt8tkgFKBZ4jH8fUM07OQ7/m5HzZZqsrQ+DBaKdoQDkdD0Z?= =?us-ascii?q?1X1yUbQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4RvJrssxhfTvHdEZu?= =?us-ascii?q?tayGxsKFmOmxrw+tq88IRs/ihNp/4t7dJMXbn/c68lUbFWETMqPnwv6sb2rxfD?= =?us-ascii?q?VwyP5nUdUmUSjBVFBhXO4Q/5UJnsrCb0r/Jx1yaGM8L4S7A0Qimi4LxwSBD0ki?= =?us-ascii?q?cHNiU2/3/Rh8dtka9UuhOhpxh4w47JfIGYMed1c63Bcd8GQ2dKQ91cXDJdDIyi?= =?us-ascii?q?c4QPDvIBPedGoIn7u1sOtga1CQ21CO/y1jNEmnr60Ksn2OojDA7GxhQtEN0AsH?= =?us-ascii?q?vWrNv7OqQcX/2rwqbU1jjMde9a1C3n5YTUbhwso/eBVq9wf8rLzkkvEhvIgFSK?= =?us-ascii?q?poP+JTOV1/oCs2yG5OR9Se2vi3AoqxtvrTi128whjYbJiZgOxVDe9CV23oI1Kc?= =?us-ascii?q?ejSEFnYd6rDoFQuD+AN4ZtTcMiRntnuCc+yrEcpZG7ey0KxY0hyhXCZfKHdI2I?= =?us-ascii?q?7QjiVOaXOTp4hHxkdKiliBmu60Sg1+78W8+p21hJtipIisfAumwJ2hDJ6cWKSu?= =?us-ascii?q?Fx8lqg1DqTzQzf9+NJLE4ymKHGMZAu2KQwmYAWsUnbHi/5hkH2jKiOe0Uh4Oeo?= =?us-ascii?q?6uDnbqz/pp+AKoN4kw/+Prksl8GxG+g4PQ8OX2+U+eS4yrLv51H2QLJPjvEuk6?= =?us-ascii?q?nZto7VJdgDq6KnHwNY1pwv5hW/Aju8zdgVnGULIEhYdB+FgYXlI1TOL+r5Dfe7?= =?us-ascii?q?jVSsijBrx/XeM73uGJrCNWLDkLb/crZ58UJc0xY8zdBB6JJOFL4BOun+WkD0tN?= =?us-ascii?q?PCDx85Nxa4zPrgCNV4zo8eQ36AAreFMKPOtl+F/v4gLPOJZI8RoTr9L/kl5+Xy?= =?us-ascii?q?jXIigl8cfayp3YMNZ3yiH/RmJV+ZYXv2jdsbH2cKpFl2cOu/pV6LTTNJZnC7F4?= =?us-ascii?q?E74zw9BIugEZzAT5GkyOiC2yK2GJFfYHxdCVmdGF/ncoyFX7EHbyfEceF7lTlR?= =?us-ascii?q?erGrUY4s0VmVvw/30bd9Zr7b8ycCtJ/nksN+5+DJmAsa+jl9DsDb2GaIGTIn1l?= =?us-ascii?q?gUTiM7ifgs6Xd2zU2OhO0h26QBSY5joshRWwJ/DqbyivRgAomrCA3Ed9aNDl2h?= =?us-ascii?q?R4f+WGxjfpcK29YLJn1FNZCigxTEhXT4BrYUk/mSGMVx/PuDhD7+IMFyz3uA36?= =?us-ascii?q?4k3QF/E5l/cFa+j6s6zDD9QovAkkGXjaGvLP1O0yvE9WPFxm2L7hhV?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AYAACJnLBchq2gVdFlHgEGBwaBUQkLA?= =?us-ascii?q?YEOWIESUDMUFIQOgR2CXo8ugg2OfYlLFIFnEB+ETgKFdhsHAQQwCQ4BAwEBCgE?= =?us-ascii?q?CAQEBARMBAQEICwsIKSMMgjopAYJmAQEBAwEdBh0BGwwRAQMBCwYDAgsNIAEJA?= =?us-ascii?q?gIhAQERAQUBHAYTFlCCPAGBaAEDDQ+QdpAMPIsdgRIFAReCegWEOAoZJw1fgTk?= =?us-ascii?q?CBxKBIAGLRoFXP4ERghR+PoIagXIFAQsHAYMpglcDimoGmno2BwKCB00EhTaEI?= =?us-ascii?q?oQhg0caggddhT2MTox8hlOMOQ8hgRwSeiNxMxojLyExgjsJggEagQoBCIJCh3q?= =?us-ascii?q?CW0AwAY4fAg0XB4IkAQE?= X-IPAS-Result: =?us-ascii?q?A0AYAACJnLBchq2gVdFlHgEGBwaBUQkLAYEOWIESUDMUFIQ?= =?us-ascii?q?OgR2CXo8ugg2OfYlLFIFnEB+ETgKFdhsHAQQwCQ4BAwEBCgECAQEBARMBAQEIC?= =?us-ascii?q?wsIKSMMgjopAYJmAQEBAwEdBh0BGwwRAQMBCwYDAgsNIAEJAgIhAQERAQUBHAY?= =?us-ascii?q?TFlCCPAGBaAEDDQ+QdpAMPIsdgRIFAReCegWEOAoZJw1fgTkCBxKBIAGLRoFXP?= =?us-ascii?q?4ERghR+PoIagXIFAQsHAYMpglcDimoGmno2BwKCB00EhTaEIoQhg0caggddhT2?= =?us-ascii?q?MTox8hlOMOQ8hgRwSeiNxMxojLyExgjsJggEagQoBCIJCh3qCW0AwAY4fAg0XB?= =?us-ascii?q?4IkAQE?= X-IronPort-AV: E=Sophos;i="5.60,341,1549926000"; d="scan'208,217";a="378413340" X-MGA-submission: =?us-ascii?q?MDGAz5UwPGo+qG8XSv01LCwWj4eeWNxFIaQPLB?= =?us-ascii?q?1vUnLXXAzw2EjkjIdNA5g7KmUJtLZ6qxSUuhoIFopldQTc4z/9pCGfnS?= =?us-ascii?q?75tCKvq++njjr5T0HwJhjhgBxttWuM2vO37s1YSkL9EI3ob/X2ZAh8m4?= =?us-ascii?q?Pz9xVJm0mvsg6FDygcLqStRA=3D=3D?= Received: from mail-qt1-f173.google.com ([209.85.160.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Apr 2019 16:16:55 +0200 Received: by mail-qt1-f173.google.com with SMTP id v32so11320602qtc.10 for ; Fri, 12 Apr 2019 07:16:55 -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=MLHccshvC7/Yblh+wDxVSQ0opb/FttIJZxKrBYBX50U=; b=rkCnbc1IYjHosEsYtExyup/CCIsAqXilFLPzsVvPW18hL+PWjYBZWsrN/IpoyK2hyC 6xPqW+dkyyQVlNVtQjuxt+aTerQFyONvgpuR3mCRoe3MX/cwzDJQAcVQBlOtHIN9kbyE 3BT1cq5ITf5DiaOgaht7NJ8y5EdPkaYapgdml5H1Hcjx6b1emthb5LVSXQnhsv21Lls3 yY9mxRupLO7NC2tCZWNigFWBcW+1jcE/lux+aTe/pKXmWdIbvEW0a6FE9VmShjWVYUdm IsjOeuNqg/cVjYS1xpI47SUp3P7cbBnO59z5547SLZqPgWnoYhMjKMy80TaJrnRsXTh/ F1AQ== 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=MLHccshvC7/Yblh+wDxVSQ0opb/FttIJZxKrBYBX50U=; b=L//pFoc3be8n1UNFZHsrxE2iHi1dd0h6Ck+NflHnOj/wnNDeeH2WKO8O3QQ3pTLyyw xB2dlTA5uZ8WbTHyyf1IqqlkkVLU6qx4GbXLYhV9nYewf5BSWDnUftxCc8A5ZvVfLMV7 h8FiXEtktFz2EtTvPdaY53Zxkw1eoiUorI7t1IooTakub63hIzA0NN0cQpWLSAY7vRU6 MdmGHJgCk5Oymx3unlB6YEQGcSzRNtyrUGhWe8E7nMHaCG7Nmzow/HI0LyG5PnNtb4t2 98Dr/LIRZDFF4N7+IfGbh1dddEFCG3aWJlh5H69ETLlp9Mn1P5BimUZO/afvlUwmxLwd VfmA== X-Gm-Message-State: APjAAAVUxSbgo5nItWV/SM7jfKaZx3Cp42YtHGHyA9zvz0ZSYC7Et/uM kPvmij1MzVrQLLLYMv6KpqiaFFHoWaD0qWoNV5jDig== X-Google-Smtp-Source: APXvYqwrLmnMtnOSUYeopDu5tu8d15NHgaDKZbvYhZ9QVWkLROAMAzIeQAbHgTQNFFnxLv1SxZ0UyRyjJIPVrsP0PUI= X-Received: by 2002:ac8:1244:: with SMTP id g4mr47581234qtj.304.1555078613946; Fri, 12 Apr 2019 07:16:53 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Gabriel Scherer Date: Fri, 12 Apr 2019 16:16:24 +0200 Message-ID: To: Ekaterina Komendantskaya Cc: caml users Content-Type: multipart/alternative; boundary="00000000000061ef49058655f4a1" Subject: Re: [Caml-list] PPDP'19 Final CFP --00000000000061ef49058655f4a1 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Thanks for the quick and useful reply! On Fri, Apr 12, 2019 at 2:30 PM Ekaterina Komendantskaya < komendantskaya@gmail.com> wrote: > 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 fe= es > 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 fact= or. >> 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; >>> 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; >>> resource >>> >>> 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 >>> >>> >>> >>> >>> >>> --00000000000061ef49058655f4a1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Thanks for the quick and useful reply!
On Fri, A= pr 12, 2019 at 2:30 PM Ekaterina Komendantskaya <komendantskaya@gmail.com> wrote:
Dear=C2=A0Gab= riel,

thanks for your email, consideration to send=C2=A0= 2 (!) papers to PPDP, and ofcourse for raising this question about the ope= n access fees.

I am about to finalise all paperwor= k required for the ACM ICPS proceedings for PPDP'19. This includes a de= cision 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 acc= ess, in order to reduce the registration fees for its participants.=C2=A0

However, following your 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 sub= mission deadline.

In the meantime, please do not g= ive 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

=



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

I am considering PPDP for a submi= ssion=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 factor. There is little information on the PPDP we= bsite or in the CFP besides the fact that it's ACM-published; do I corr= ectly understand that authors wishing to retain their full rights over thei= r work would have to pay the standard ACM author-processing charge of $900?=

=C2=B9: actually two submissions.

Best



On Fri, Apr 1= 2, 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&= #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



--00000000000061ef49058655f4a1--