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