<div dir="ltr">=== Second Call for Papers ===<br>
<br>
24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)<br>
<br>
Philadelphia, Pennsylvania, United States<br>
17-18th January 2022<br>
<br>
<a href="https://urldefense.com/v3/__https://popl22.sigplan.org/home/PADL-2022__;!!IBzWLUs!CUJkoXwB8YNFMYqTMfQi2nh4iTf9ciyiOgXisWIQad8MjfyaW32SNxVOhvcN_r4yW7xtDKwwFepPaQ$" target="_blank">https://popl22.sigplan.org/home/PADL-2022</a><br>
<br>
Co-located with POPL 2022<br>
<br>
Conference Description<br>
----------------------<br>
<br>
Declarative languages comprise several well-established classes of
formalisms, namely, functional, logic, and constraint programming. Such
formalisms enjoy both sound theoretical bases and the availability of
attractive frameworks for application development. Indeed, they have
been already successfully applied to many different real-world
situations, ranging from database management to active networks to
software engineering to decision support systems.<br>
<br>
New developments in theory and implementation fostered applications in
new areas. At the same time, applications of declarative languages to
novel and challenging problems raise many interesting research issues,
including 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.<br>
<br>
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. <br>
<br>
Topic of interest include, but are not limited to:<br>
<br>
- Innovative applications of declarative languages<br>
- Declarative domain-specific languages and applications<br>
- Practical applications of theoretical results<br>
- New language developments and their impact on applications<br>
- Declarative languages and software engineering<br>
- Evaluation of implementation techniques on practical applications<br>
- Practical experiences and industrial applications<br>
- Novel uses of declarative languages in the classroom<br>
- Practical extensions such as constraint-based, probabilistic, and reactive languages<br>
<br>
PADL 2022 especially welcomes new ideas and approaches related 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, as well as verification and
theorem proving methods that rely on declarative languages.<br>
<br>
Submissions<br>
-----------<br>
PADL 2022 welcomes three kinds of submission:<br>
<br>
* Technical papers (max. 15 pages)<br>
Technical papers must describe original, previously unpublished research results.<br>
<br>
* Application papers (max. 8 pages)<br>
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.<br>
<br>
* Extended abstracts (max. 3 pages)<br>
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.<br>
<br>
All page limits exclude references. Submissions must be formatted
according to the standard Springer LNCS style. The conference
proceedings of PADL2022 will be published by Springer-Verlag in the
Lecture Notes in Computer Science series.<br>
<br>
Work that already appeared in unpublished or informally published
workshops proceedings may be submitted but the authors should notify the
program chairs about the place in which it has previously appeared.<br>
<br>
PADL 2022 submissions are handled through the EasyChair conference management system: <br>
<a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=padl2022__;!!IBzWLUs!CUJkoXwB8YNFMYqTMfQi2nh4iTf9ciyiOgXisWIQad8MjfyaW32SNxVOhvcN_r4yW7xtDKykQVrbHQ$" target="_blank">https://easychair.org/conferences/?conf=padl2022</a>.<br>
<br>
<br>
Important dates (tentative)<br>
---------------<br>
<br>
Abstract submission: 1 October 2021 (AoE) <br>
Paper submission: 8 October 2021 <br>
Notification of acceptance: 5 November 2021<br>
Symposium: 17-18th January 2022<br>
<br>
<br>
COVID-19<br>
--------<br>
<br>
PADL is co-located with POPL, which will take place January 16-22, 2022,
as a physical, virtual, or hybrid physical/virtual meeting. <br>
We will be monitoring the Covid-19 situation and will announce a
decision on the nature of the meeting in time which will follow suit
with POPL.<br>
<br>
Distinguished Papers<br>
--------------------<br>
<br>
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)
<a href="https://urldefense.com/v3/__https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming__;!!IBzWLUs!CUJkoXwB8YNFMYqTMfQi2nh4iTf9ciyiOgXisWIQad8MjfyaW32SNxVOhvcN_r4yW7xtDKxs8GspBg$" target="_blank">https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming</a>,
and for papers related to functional programming, in Journal of
Functional Programming (JFP)
<a href="https://urldefense.com/v3/__https://www.cambridge.org/core/journals/journal-of-functional-programming__;!!IBzWLUs!CUJkoXwB8YNFMYqTMfQi2nh4iTf9ciyiOgXisWIQad8MjfyaW32SNxVOhvcN_r4yW7xtDKyvrUjIFA$" target="_blank">https://www.cambridge.org/core/journals/journal-of-functional-programming</a>.
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.<br>
<br>
Invited Speakers<br>
----------------<br>
PADL 2022 features two invited talks by:<br>
<br>
- Marcello Balduccini (<a href="https://urldefense.com/v3/__https://www.sju.edu/faculty/marcello-balduccini/__;!!IBzWLUs!CUJkoXwB8YNFMYqTMfQi2nh4iTf9ciyiOgXisWIQad8MjfyaW32SNxVOhvcN_r4yW7xtDKwwcoNDhg$" target="_blank">https://www.sju.edu/faculty/marcello-balduccini/</a>)<br>
- Shriram Krishnamurthi (<a href="https://urldefense.com/v3/__https://cs.brown.edu/*sk/__;fg!!IBzWLUs!CUJkoXwB8YNFMYqTMfQi2nh4iTf9ciyiOgXisWIQad8MjfyaW32SNxVOhvcN_r4yW7xtDKzL3u-GDA$" target="_blank">https://cs.brown.edu/~sk/</a>)<br>
<br>
Chairs<br>
------<br>
<br>
- James Cheney, University of Edinburgh<br>
- Simona Perri, University of Calabria<br>
<br>
Programme Committee<br>
-------------------<br>
<br>
Andres Löh, WellTyped<br>
Chiaki Sakama, Wakayama University<br>
Daniela Inclezan, Miami University<br>
Ekaterina Komendantskaya, Heriot-Watt University<br>
Esra Erdem, Sabanci University<br>
Francesco Calimeri, University of Calabria<br>
Jan Christiansen, Flensburg University of Applied Sciences<br>
Konstantin Schekotihin, University of Klagenfurt<br>
Lionel Parreaux, Hong Kong University of Science and Technology<br>
Marco Maratea, University of Genova<br>
Marina De Vos, University of Bath<br>
Martin Erwig, Oregon State University<br>
Martin Gebser, University of Klagenfurt<br>
Michael Greenberg, Stevens Institute of Technology<br>
Paul Tarau, University of North Texas<br>
Pavan Kumar Chittimalli, TCS Research, India<br>
Pedro Cabalar, University of Corunna<br>
Roly Perera, The Alan Turing Institute<br>
Tomas Petricek, University of Kent<br>
Torsten Grust, University of Tübingen<br>
Tran Cao Son, New Mexico State University<br>
Yukiyoshi Kameyama, University of Tsukuba<br>
</div>