<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=iso-8859-1"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
span.StileMessaggioDiPostaElettronica17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 2.0cm 2.0cm 2.0cm;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=IT link="#0563C1" vlink="#954F72" style='word-wrap:break-word'><div class=WordSection1><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><span lang=EN-US>[Apologies for multiple postings]<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>=== Second Call for Papers ===<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>24th International Symposium on Practical Aspects of Declarative Languages<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>(PADL 2022)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Philadelphia, Pennsylvania, United States<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>17-18th January 2022<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>https://popl22.sigplan.org/home/PADL-2022<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Co-located with POPL 2022<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Conference Description<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>----------------------<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Declarative languages comprise several well-established classes of<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>formalisms, namely, functional, logic, and constraint programming. Such<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>formalisms enjoy both sound theoretical bases and the availability of<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>attractive frameworks for application development. Indeed, they have been<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>already successfully applied to many different real-world situations,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>ranging from database management to active networks to software<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>engineering to decision support systems.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>New developments in theory and implementation fostered applications in new<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>areas. At the same time, applications of declarative languages to novel<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>and challenging problems raise many interesting research issues, including<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>designing for scalability, language extensions for application deployment,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>and programming environments. Thus, applications drive the progress in the<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>theory and implementation of declarative systems, and benefit from this<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>progress as well.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>PADL is a well-established forum for researchers and practitioners to<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>present original work emphasizing novel applications and implementation<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>techniques for all forms of declarative programming, including functional<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>and logic programming, database and constraint programming, and theorem<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>proving.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Topic of interest include, but are not limited to:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>- Innovative applications of declarative languages<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- Declarative domain-specific languages and applications<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- Practical applications of theoretical results<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- New language developments and their impact on applications<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- Declarative languages and software engineering<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- Evaluation of implementation techniques on practical applications<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- Practical experiences and industrial applications<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- Novel uses of declarative languages in the classroom<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- Practical extensions such as constraint-based, probabilistic, and<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>reactive languages<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>PADL 2022 especially welcomes new ideas and approaches related to<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>applications, design and implementation of declarative languages going<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>beyond the scope of the past PADL symposia, for example, advanced database<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>languages and contract languages, as well as verification and theorem<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>proving methods that rely on declarative languages.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Submissions<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>-----------<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>PADL 2022 welcomes three kinds of submission:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* Technical papers (max. 15 pages)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Technical papers must describe original, previously unpublished research<o:p></o:p></span></p><p class=MsoNormal><span lang=FR>results.<o:p></o:p></span></p><p class=MsoNormal><span lang=FR><o:p> </o:p></span></p><p class=MsoNormal><span lang=FR>* Application papers (max. 8 pages)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Application papers are a mechanism to present important practical<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>applications of declarative languages that occur in industry or in areas<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>of research other than Computer Science. Application papers are expected<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>to describe complex and/or real-world applications that rely on an<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>innovative use of declarative languages. Application descriptions,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>engineering solutions and real-world experiences (both positive and<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>negative) are solicited.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* Extended abstracts (max. 3 pages)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Describing new ideas, a new perspective on already published work, or<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>work-in-progress that is not yet ready for a full publication. Extended<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>abstracts will be posted on the symposium website but will not be<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>published in the formal proceedings.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>All page limits exclude references. Submissions must be formatted<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>according to the standard Springer LNCS style. The conference proceedings<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>of PADL2022 will be published by Springer-Verlag in the Lecture Notes in<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Computer Science series.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Work that already appeared in unpublished or informally published<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>workshops proceedings may be submitted but the authors should notify the<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>program chairs about the place in which it has previously appeared.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>PADL 2022 submissions are handled through the EasyChair conference<o:p></o:p></span></p><p class=MsoNormal><span lang=FR>management system:<o:p></o:p></span></p><p class=MsoNormal><span lang=FR>https://easychair.org/conferences/?conf=padl2022.<o:p></o:p></span></p><p class=MsoNormal><span lang=FR><o:p> </o:p></span></p><p class=MsoNormal><span lang=FR><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Important dates (tentative)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>---------------<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Abstract submission: 1 October 2021 (AoE)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Paper submission: 8 October 2021<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Notification of acceptance: 5 November 2021<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Symposium: 17-18th January 2022<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>COVID-19<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>--------<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>PADL is co-located with POPL, which will take place January 16-22, 2022,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>as a physical, virtual, or hybrid physical/virtual meeting.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>We will be monitoring the Covid-19 situation and will announce a decision<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>on the nature of the meeting in time which will follow suit with POPL.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Distinguished Papers<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>--------------------<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>The authors of a small number of distinguished papers will be invited to<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>submit a longer version for journal publication after the symposium. For<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>papers related to logic programming, in the journal Theory and Practice of<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Logic Programming (TPLP)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>and for papers related to functional programming, in Journal of Functional<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Programming (JFP)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>https://www.cambridge.org/core/journals/journal-of-functional-programming.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>The extended journal submissions should include roughly 30% more content<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>including, for example, explanations for which there was no space,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>illuminating examples and proofs, additional definitions and theorems,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>further experimental results, implementational details and feedback from<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>practical/engineering use, extended discussion of related work and such<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>like.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Invited Speakers<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>----------------<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>PADL 2022 features two invited talks by:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal>- Marcello Balduccini (https://www.sju.edu/faculty/marcello-balduccini/)<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>- Shriram Krishnamurthi (https://cs.brown.edu/~sk/)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Chairs<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>------<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>- James Cheney, University of Edinburgh<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- Simona Perri, University of Calabria<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Programme Committee<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>-------------------<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Andres Löh, WellTyped<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Chiaki Sakama, Wakayama University<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Daniela Inclezan, Miami University<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Ekaterina Komendantskaya, Heriot-Watt University<o:p></o:p></span></p><p class=MsoNormal>Esra Erdem, Sabanci University<o:p></o:p></p><p class=MsoNormal>Francesco Calimeri, University of Calabria<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>Jan Christiansen, Flensburg University of Applied Sciences<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Konstantin Schekotihin, University of Klagenfurt<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Lionel Parreaux, Hong Kong University of Science and Technology<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Marco Maratea, University of Genova<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Marina De Vos, University of Bath<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Martin Erwig, Oregon State University<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Martin Gebser, University of Klagenfurt<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Michael Greenberg, Stevens Institute of Technology<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Paul Tarau, University of North Texas<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Pavan Kumar Chittimalli, TCS Research, India<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Pedro Cabalar, University of Corunna<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Roly Perera, The Alan Turing Institute<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Tomas Petricek, University of Kent<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Torsten Grust, University of Tübingen<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Tran Cao Son, New Mexico State University<o:p></o:p></span></p><p class=MsoNormal>Yukiyoshi Kameyama, University of Tsukuba<o:p></o:p></p></div></body></html>