<div dir="ltr">==============================================================================<br>                        Call for Papers<br><br>  26th International Symposium on Practical Aspects of Declarative Languages<br>                          (PADL 2024)<br><br>              <a href="https://popl24.sigplan.org/home/PADL-2024" target="_blank">https://popl24.sigplan.org/home/PADL-2024</a><br><br>             London, United Kingdom, January 15-16, 2024<br><br>                   Co-located with ACM POPL 2024<br>==============================================================================<br><br><br>Conference Description<br>----------------------<br><br>Declarative languages comprise several well-established classes of<br>formalisms, namely, functional, logic, and constraint programming.<br>Such formalisms enjoy both sound theoretical bases and the<br>availability of attractive frameworks for application development.<br>Indeed, they have been already successfully applied to many different<br>real-world situations, ranging from database management to active<br>networks to software engineering to decision support systems.<br><br><br>New developments in theory and implementation fostered applications in<br>new areas. At the same time, applications of declarative languages to<br>novel and challenging problems raise many interesting research issues,<br>including designing for scalability, language extensions for<br>application deployment, and programming environments. Thus,<br>applications drive the progress in the theory and implementation of<br>declarative systems, and benefit from this progress as well.<br><br><br>PADL is a well-established forum for researchers and practitioners to<br>present original work emphasizing novel applications and<br>implementation techniques for all forms of declarative programming,<br>including functional and logic programming, database and constraint<br>programming, and theorem proving.<br><br><br>Topics of interest include, but are not limited to:<br><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,<br>  and reactive languages<br><br><br>PADL 2024 especially welcomes new ideas and approaches related to<br>applications, design and implementation of declarative languages going<br>beyond the scope of the past PADL symposia, for example, advanced<br>database languages and contract languages, as well as verification and<br>theorem proving methods that rely on declarative languages.<br><br><br>Submissions<br>-----------<br><br>PADL 2024 welcomes three kinds of submission:<br><br>* Technical papers (max. 15 pages):<br>  Technical papers must describe original, previously unpublished<br>  research results.<br><br>* Application papers (max. 8 pages):<br>  Application papers are a mechanism to present important practical<br>  applications of declarative languages that occur in industry or in<br>  areas of research other than Computer Science. Application papers<br>  are expected to describe complex and/or real-world applications that<br>  rely on an innovative use of declarative languages. Application<br>  descriptions, engineering solutions and real-world experiences (both<br>  positive and negative) are solicited.<br><br>* Extended abstracts (max. 3 pages):<br>  Describing new ideas, a new perspective on already published work,<br>  or work-in-progress that is not yet ready for a full<br>  publication. Extended abstracts will be posted on the symposium<br>  website but will not be published in the formal proceedings.<br><br>All page limits exclude references. Submissions must be written in English<br>and formatted according to the standard Springer LNCS style, see<br><a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines" target="_blank">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</a><br><br>The review process of PADL 2024 is <b>double-anonymous</b>. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgements that might identify you.<br><div><br></div><div>Page numbers (and, if possible, line numbers) should appear on the<br>manuscript to help the reviewers in writing their reports. So, for<br>LaTeX, we recommend that authors use:<br><br> \pagestyle{plain}<br> \usepackage{lineno}<br> \linenumbers<br><br>The conference proceedings of PADL 2024 will be published by<br>Springer-Verlag in the Lecture Notes in Computer Science series.<br>Work that already appeared in unpublished or informally published<br>workshop proceedings may be submitted but the authors should notify<br>the program chairs where it has previously appeared.<br><br>Papers should be submitted electronically at<br><br><a href="https://padl2024.hotcrp.com/" target="_blank">https://padl2024.hotcrp.com</a> <br><br>Important Dates<br>---------------<br><br>Paper submission:    October 5, 2023 (AoE)<br>Notification:        November 9, 2023<br>Symposium:           January 15-16, 2024<br><br><br>Distinguished Papers<br>--------------------<br><br>The authors of a small number of distinguished papers will be invited<br>to submit a longer version for journal publication after the<br>symposium. For papers related to logic programming, that will be in<br>the journal Theory and Practice of Logic Programming (TPLP)<br><a href="https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming" target="_blank">https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming</a>,<br>and for papers related to functional programming, in Journal of<br>Functional Programming (JFP)<br><a href="https://www.cambridge.org/core/journals/journal-of-functional-programming" target="_blank">https://www.cambridge.org/core/journals/journal-of-functional-programming</a>.<br>The extended journal submissions should be substantially (roughly 30%)<br>extended: explanations for which there was no space, illuminating examples<br>and proofs, additional definitions and theorems, further experimental<br>results, implementational details and feedback from<br>practical/engineering use, extended discussion of related work, and so<br>on. These submissions will then be subject to the usual peer review<br>process by the journal, although with the aim of a swifter review<br>process by reusing original reviews from PADL.<br><br><br>PADL 2024 PC Co-Chairs<br>----------------------<br>Martin Gebser, University of Klagenfurt, Austria<br>Ilya Sergey, National University of Singapore, Singapore<br><br><br>Programme Committee<br>-------------------<br>Alexandra Mendes          University of Porto & INESC TEC, Portugal<br>Annie Liu                 Stony Brook University, USA<br>Anton Trunov              Fuel Labs, UAE<br>Arnaud Spiwack            Tweag, France<br>Daniela Inclezan          Miami University, USA<br>Emilia Oikarinen          University of Helsinki, Finland<br>Enrico Pontelli           New Mexico State University, USA<br>Esra Erdem                Sabanci University, Turkey<br>Gopal Gupta               University of Texas at Dallas, USA<br>Jesper Cockx              Delft University of Technology, Netherlands<br>Jessica Zangari           University of Calabria, Italy<br>Johannes Wallner          Graz University of Technology, Austria<br>Leo White                 Jane Street, UK<br>Magnus Myreen             Chalmers University of Technology, Sweden<br>Manuel Carro              IMDEA Software Institute, Spain<br>Marcello  Balduccini      Saint Joseph's University, USA<br>Matthew Flatt             University of Utah, USA<br>Mukund Raghothaman        University of Southern California, USA<br>Patrick Bahr              University of Copenhagen, Denmark<br>Roland Yap                National University of Singapore, Singapore<br>Simon Fowler              University of Glasgow, UK<br>Stefania Costantini       University of L'Aquila, Italy<br>Tom Schrijvers            KU Leuven, Belgium<br>Tomi Janhunen             Tampere University, Finland<br>Weronika T. Adrian        University of Krakow, Poland<br>Youyou Cong               Tokyo Institute of Technology, Japan<br>Zeynep G. Saribatur       TU Wien, Austria<br></div></div>