caml-list - the Caml user's mailing list
 help / Atom feed
From: Ekaterina Komendantskaya <komendantskaya@gmail.com>
To: caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] PPDP'19 Final CFP
Date: Thu, 18 Apr 2019 10:36:54 +0100
Message-ID: <CAEQEJxLq=pWDHrKKK8ZiCPC+qsXyePiK8zpbeF6F5QrMMZ1kXg@mail.gmail.com> (raw)
In-Reply-To: <CAPFanBEHbAzAFBfzEjDn+3MtRVjKmH9doKWCZ9QeRow4eotsSQ@mail.gmail.com>

[-- Attachment #1: Type: text/plain, Size: 5460 bytes --]

Dear Gabriel, Caml list,

as promised my update re PPDP and the open access question.

The PC and the Steering committee had a careful discussion of the options
and prices for buying the ACM open access for PPDP'19.

 Many voices were in support of open access, for obvious reasons. Some
voices were strongly against distributing the cost of of what would be the
author's personal copyright and distribution rights onto the shoulders of
all PPDP participants. Also the point was made that, as far as the access
to the paper is concerned, there are always portals for publishing
pre-prints (Arxiv). Finally, some universities and research grants have
dedicated funds to buy the gold open access rights for individual papers.

So, in the  long term, the steering committee will discuss switching from
ACM elsewhere, possibly to LIPICS, to avoid the above described dilemma
with the cost of the open access.

In the short term, i.e. for 2019 we will stay with the ACM and its cheapest
option that does not buy gold open access.

I very much hope that you will nevertheless submit and attend PPDP'19, and
please join the Organising committee meeting at PPDP'19
to voice and re-enforce  your message about the need for re-considering
PPDP long-term strategy for open access.


Best regards,
Katya




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 submission¹ 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 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?
>>>
>>> ¹: 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–9 October 2019, Porto, Portugal
>>>>
>>>> Collocated with FM'19
>>>>
>>>> http://ppdp2019.macs.hw.ac.uk
>>>>
>>>> ======================================================================
>>>>
>>>> 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–9 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
>>>>
>>>>
>>>>
>>>>
>>>>
>>>>

[-- Attachment #2: Type: text/html, Size: 24754 bytes --]

      reply index

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-04-12 10:38 Ekaterina Komendantskaya
2019-04-12 12:00 ` Gabriel Scherer
2019-04-12 12:30   ` Ekaterina Komendantskaya
2019-04-12 14:17     ` Gabriel Scherer
2019-04-18  9:37       ` Ekaterina Komendantskaya [this message]

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAEQEJxLq=pWDHrKKK8ZiCPC+qsXyePiK8zpbeF6F5QrMMZ1kXg@mail.gmail.com' \
    --to=komendantskaya@gmail.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox