* [Caml-list] PPDP'19 Final CFP @ 2019-04-12 10:29 Ekaterina Komendantskaya 2019-04-12 11:59 ` Gabriel Scherer 0 siblings, 1 reply; 5+ messages in thread From: Ekaterina Komendantskaya @ 2019-04-12 10:29 UTC (permalink / raw) To: Katya Komendantskaya [-- Attachment #1: Type: text/plain, Size: 2710 bytes --] 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: 20183 bytes --] ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] PPDP'19 Final CFP 2019-04-12 10:29 [Caml-list] PPDP'19 Final CFP Ekaterina Komendantskaya @ 2019-04-12 11:59 ` Gabriel Scherer 2019-04-12 12:30 ` Ekaterina Komendantskaya 0 siblings, 1 reply; 5+ messages in thread From: Gabriel Scherer @ 2019-04-12 11:59 UTC (permalink / raw) To: Ekaterina Komendantskaya; +Cc: caml users [-- Attachment #1: Type: text/plain, Size: 3569 bytes --] 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: 21291 bytes --] ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] PPDP'19 Final CFP 2019-04-12 11:59 ` Gabriel Scherer @ 2019-04-12 12:30 ` Ekaterina Komendantskaya 2019-04-12 14:16 ` Gabriel Scherer 0 siblings, 1 reply; 5+ messages in thread From: Ekaterina Komendantskaya @ 2019-04-12 12:30 UTC (permalink / raw) To: Gabriel Scherer; +Cc: caml users [-- Attachment #1: Type: text/plain, Size: 4615 bytes --] 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: 23219 bytes --] ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] PPDP'19 Final CFP 2019-04-12 12:30 ` Ekaterina Komendantskaya @ 2019-04-12 14:16 ` Gabriel Scherer 2019-04-18 9:36 ` Ekaterina Komendantskaya 0 siblings, 1 reply; 5+ messages in thread From: Gabriel Scherer @ 2019-04-12 14:16 UTC (permalink / raw) To: Ekaterina Komendantskaya; +Cc: caml users [-- 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 --] ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] PPDP'19 Final CFP 2019-04-12 14:16 ` Gabriel Scherer @ 2019-04-18 9:36 ` Ekaterina Komendantskaya 0 siblings, 0 replies; 5+ messages in thread From: Ekaterina Komendantskaya @ 2019-04-18 9:36 UTC (permalink / raw) To: caml users [-- 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 --] ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2019-04-18 9:37 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2019-04-12 10:29 [Caml-list] PPDP'19 Final CFP Ekaterina Komendantskaya 2019-04-12 11:59 ` Gabriel Scherer 2019-04-12 12:30 ` Ekaterina Komendantskaya 2019-04-12 14:16 ` Gabriel Scherer 2019-04-18 9:36 ` Ekaterina Komendantskaya
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).