<div dir="ltr"><div><br></div><div>PADL 2025: First Call for Papers <br><br>======================================================================<br>                         Call for Papers<br><br>  27th International Symposium on Practical Aspects of Declarative Languages<br>                           (PADL 2025)<br><br>               <a href="https://popl25.sigplan.org/home/PADL-2025">https://popl25.sigplan.org/home/PADL-2025</a><br><br>           Denver, Colorado, United States, January 20-21, 2025<br><br>                    Co-located with ACM POPL 2025<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 availability <br>of attractive frameworks for application development. Indeed, they have <br>been already successfully applied to many different real-world situations, <br>ranging from database management to active networks to software <br>engineering to decision support systems.<br><br>New developments in theory and implementation fostered applications <br>in new areas. At the same time, applications of declarative languages <br>to novel and challenging problems raise many interesting research issues, <br>including designing for scalability, language extensions for application <br>deployment, and programming environments. Thus, applications drive the <br>progress in the theory and implementation of declarative systems, and <br>benefit from this progress as well.<br><br>PADL is a well-established forum for researchers and practitioners to <br>present original work emphasizing novel applications and implementation <br>techniques for all forms of declarative programming, including functional <br>and logic programming, database and constraint programming, and theorem <br>proving.<br><br>Topics 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 2025 especially welcomes new ideas and approaches related to <br>applications, design and implementation of declarative languages <br>going beyond the scope of the past PADL symposia, for example, advanced <br>database languages and contract languages, as well as verification <br>and theorem proving methods that rely on declarative languages.<br><br>PADL 2025 will take place on January 20th and 21st, 2025, as a physical <br>(in-person) event. For each accepted paper at least one author is <br>required to register for the conference and present the paper in person.<br><br>Important Dates<br>---------------<br><br>Abstract submission: October 4, 2024 (AoE)<br>Paper submission:    October 11, 2024 (AoE)<br>Notification:        November 11, 2024<br>Symposium:           January 20-21, 2025<br><br>Submissions<br>-----------<br><br>PADL 2025 welcomes regular papers (max. 15 pages) and short papers <br>(max. 8 pages) that describe original and previously unpublished <br>research results on<br><br>- complex and/or real-world applications in industry or in other areas <br>of research, that rely on an innovative use of declarative languages,<br><br>- tools and/or systems developed for such applications, and/or to <br>improve practical aspects of declarative languages,<br><br>- technical results related to the practical aspects of declarative <br>languages. <br><br>Application and systems descriptions, engineering solutions, and <br>real-world experiences (both positive and negative) are in particular <br>solicited. Regular and short papers will be published in the formal <br>proceedings.<br><br>PADL 2025 also welcomes extended abstracts (max. 3 pages) on the topics <br>above, that describe new ideas, a new perspective on already published <br>work, or work-in-progress that is not yet ready for a full publication. <br>Extended abstracts will be posted on the symposium website but will not <br>be published in the formal proceedings.<br><br>All page limits exclude references. Submissions must be written in <br>English and formatted according to the standard Springer LNCS style, <br>see <a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</a><br><br>The review process of PADL 2025 is double-anonymous. In your submission, <br>please, omit your names and institutions; refer to your prior work in <br>the third person, just as you refer to prior work by others; do not <br>include acknowledgments that might identify you.<br><br>Additional material intended for reviewers but not for publication in <br>the final version -for example, details of proofs- may be placed in <br>a clearly marked appendix that is not included in the page limit. <br>Reviewers are at liberty to ignore appendices and papers must be <br>understandable without them.<br><br>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 2025 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. Previous PADL <br>proceedings can be found on SpringerLink.<br><br>Papers should be submitted electronically via EquinOCS (registration <br>is required if you do not have an account):<br><a href="https://equinocs.springernature.com/service/padl2025">https://equinocs.springernature.com/service/padl2025</a><br><br>Distinguished Papers<br>--------------------<br><br>The authors of a small number of distinguished papers will be <br>invited to submit a longer version for journal publication after <br>the symposium. For papers related to logic programming, that will <br>be in the journal Theory and Practice of Logic Programming (TPLP), <br>and for papers related to functional programming, in Journal of <br>Functional Programming (JFP). The extended journal submissions <br>should be substantially (roughly 30%) extended: explanations for <br>which there was no space, illuminating examples and proofs, <br>additional definitions and theorems, further experimental results, <br>implementational details and feedback from practical/engineering <br>use, extended discussion of related work, and so on. These <br>submissions will then be subject to the usual peer review process <br>by the journal, although with the aim of a swifter review process <br>by reusing original reviews from PADL.<br><br>PADL 2025 PC Co-Chairs<br>----------------------<br><br>- Esra Erdem, Sabanci University, Turkey<br>- German Vidal, Universitat Politecnica de Valencia, Spain<br><br>Programme Committee<br>-------------------<br><br>TBD<br><br>Contact Addresses<br>-----------------<br><br>esraerdem _AT_ <a href="http://sabanciuniv.edu">sabanciuniv.edu</a><br>gvidal _AT_ <a href="http://dsic.upv.es">dsic.upv.es</a><br></div><div><br></div></div>