[Caml-list] PPDP'19 Final CFP

[Caml-list] PPDP'19 Final CFP

[Ekaterina 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 --]

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

[Gabriel Scherer]

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

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

[Ekaterina Komendantskaya]

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

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

[Gabriel Scherer]

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

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

[Ekaterina Komendantskaya]

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