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 > 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 >>> >>> >>> >>> >>> >>>