Re: [Caml-list] PPDP'19 Final CFP

[Gabriel Scherer <gabriel.scherer@gmail.com>]

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

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 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 <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: 23713 bytes --]