[TYPES/announce] Second CfP for PADL 2021 - Deadline 9th October 2020

[Dominic Orchard]

Second Call for Papers: PADL 2021 (colocated with POPL 2021, Copenhagen,
Denmark) *virtual due to the coronavirus*

23rd International Symposium on Practical Aspects of Declarative Languages

https://popl21.sigplan.org/home/PADL-2021

The paradigm of **declarative languages** encompasses several
well-established
classes of programming languages, namely: functional, logic, and constraint
programming languages.
These languages have been successfully applied to many different real-world
situations,
ranging from database management to active networks to software engineering
to decision support systems.
New developments in theory and implementation have opened up new
application areas. At the same time,
applications of declarative languages to novel problems raise numerous
interesting research issues.
Well-known questions include designing for scalability, language extensions
for application deployment,
and programming environments. Thus, applications drive the progress in the
theory and implementation
of declarative systems, and benefit from this progress as well.

PADL is a well-established forum for researchers and practitioners to
present original work emphasizing
novel applications and implementation techniques for all forms of
declarative programming, including
functional and logic programming, database and constraint programming, and
theorem proving.
Topics of interest include, but are not limited to:

* Innovative applications of declarative languages
* Declarative domain-specific languages and applications
* Practical applications of theoretical results
* New language developments and their impact on applications
* Declarative languages for software engineering
* Evaluation of implementation techniques on practical applications
* Practical experiences and industrial applications
* Novel uses of declarative languages in the classroom
* Practical languages and extensions such as probabilistic and reactive
languages

PADL 2021 especially welcomes new ideas and approaches pertaining to
applications, design and implementation
of declarative languages going beyond the scope of the past PADL symposia,
for example, advanced database
languages and contract languages, computational creativas well as
verification and theorem proving methods
that rely on declarative languages.

Submissions
------------

PADL solicits three kinds of submission, in Springer LNCS format:

* Technical papers (max. 15 pages)

Technical papers must describe original, previously unpublished research
results.

* Application papers (max. 8 pages)

Application papers are a mechanism to present important practical
applications of declarative languages that occur in industry or in areas of
research other than Computer Science. Application papers are expected to
describe complex and/or real-world applications that rely on an innovative
use of declarative languages. Application descriptions, engineering
solutions and real-world experiences (both positive and negative) are
solicited.

* Extended abstracts (max. 3 pages)

Describing new ideas, a new perspective on already published work, or
work-in-progress that is not yet ready for a full publication. Extended
abstracts will be posted on the symposium website but will not be published
in the formal proceedings.

All page limits exclude references. Work that already appeared in
unpublished or informally published workshops proceedings may be submitted
but the authors should notify the program chair about the place in which it
has previously appeared.

Important dates
----------------

* Deadline:          9th October 2020 (AoE)
* Notification:      6th November 2020
* Symposium:         18-19th January 2021

Submission is via EasyChair:
https://easychair.org/conferences/?conf=padl2021

COVID-19
--------

PADL is co-located with POPL, which will take place *virtually* January
17-22, 2021 due to the Covid-19 situation.

Distinguished Papers
--------------------

The authors of a small number of distinguished papers will be invited to
submit a longer version for journal publication after the symposium. For
papers related to logic programming, in the journal Theory and Practice of
Logic Programming (TPLP)
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming,
and for papers related to functional programming, in Journal of Functional
Programming (JFP)
https://www.cambridge.org/core/journals/journal-of-functional-programming.
The extended journal submissions should include roughly 30% more content
including, for example, explanations for which there was no space,
illuminating examples and proofs, additional definitions and theorems,
further experimental results, implementational details and feedback from
practical/engineering use, extended discussion of related work and such
like.

These submissions will then be subject to peer review by the journal,
although with the aim of a swifter review process by reusing original
reviews from PADL.

Chairs
-------

- Dominic Orchard (University of Kent, UK)
- Jose Morales (IMDEA Software Institute, Spain)

Programme Committee
--------------------

- Mario Alviano (University of Calabria, Italy)
- Nada Amin (Harvard University, USA)
- Edwin Brady (University of St. Andrews, Scotland)
- Joachim Breitner (DFINITY)
- Youyou Cong (Tokyo Institute of Technology)
- Mistral Contrastin (Facebook London)
- Sandra Dylus (University of Kiel, Germany)
- Esra Erdem (Sabanci University, Turkey)
- Martin Gebser (Alpen-Adria-Universität Klagenfurt, Germany)
- Gopal Gupta (U. Dallas, USA)
- Ekaterina Komendantskaya (Heriot-Watt University, Edinburgh, UK)
- Henrik Nilsson (University of Nottingham, UK)
- Enrico Pontelli (New Mexico State University, USA)
- KC Sivaramakrishnan (IIT Madras, India)
- Paul Tarau (University of North Texas, USA)
- Jan Wielemaker (Free University Amsterdam, Netherlands)
- Ningning Xie (University of Hong Kong)
- Neng-Fa Zhou (City University of New York, USA)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200918/9e85b4f4/attachment-0001.htm>