<div dir="ltr">==============================================================================<br>                         Call for Papers<br><br>25th International Symposium on Practical Aspects of Declarative Languages<br>                           (PADL 2023)<br><br>               <a href="https://popl23.sigplan.org/home/PADL-2023" rel="noreferrer" target="_blank">https://popl23.sigplan.org/home/PADL-2023</a><br><br>       Boston, Massachusetts, United States, January 16-17, 2023<br><br>                    Co-located with ACM POPL 2023<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>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>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>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,<br>   and reactive languages<br><br>PADL 2023 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>Submissions<br>-----------<br><br>PADL 2023 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" rel="noreferrer" target="_blank">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</a><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>The conference proceedings of PADL 2023 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>workshops 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><a href="https://easychair.org/conferences/?conf=padl2023" rel="noreferrer" target="_blank">https://easychair.org/conferences/?conf=padl2023</a><br><br><br>Important Dates<br>---------------<br><br>Abstract submission: October 2, 2022 (AoE)<br>Paper submission:    October 9, 2022 (AoE)<br>Notification:        November 5, 2022<br>Symposium:           January 16-17, 2023<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" rel="noreferrer" 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" rel="noreferrer" 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>  PADL 2023 PC Co-Chairs<br>----------------------<br><br>- Michael Hanus, Kiel University, Germany<br>- Daniela Inclezan, Miami University, United States<br><br><br>Programme Committee<br>-------------------<br><br>Andreas Abel              Gothenburg University, Sweden<br>Annette Bieniusa          TU Kaiserslautern, Germany<br>Joachim Breitner          Epic Games, Germany<br>William Byrd              University of Alabama at Birmingham, USA<br>Pedro Cabalar             University of Corunna, Spain<br>Francesco Calimeri        University of Calabria, Italy<br>Stefania Costantini       University of L'Aquila, Italy<br>Esra Erdem                Sabanci University, Turkey<br>Martin Gebser             University of Klagenfurt, Austria<br>Robert Glueck             University of Copenhagen, Denmark<br>Gopal Gupta               University of Texas at Dallas, USA<br>Michael Hanus             CAU Kiel, Germany (co-chair)<br>Daniela Inclezan          Miami University, USA (co-chair)<br>Tomi Janhunen             Tampere University, Finland<br>Patricia Johann           Appalachian State University, USA<br>Yukiyoshi Kameyama        University of Tsukuba, Japan<br>Ekaterina Komendantskaya  Heriot-Watt University, UK<br>Simona Perri              University of Calabria, Italy<br>Enrico Pontelli           New Mexico State University, USA<br>Tom Schrijvers            Katholieke Universiteit Leuven, Belgium<br>Paul Tarau                University of North Texas, USA<br>Peter Thiemann            University of Freiburg, Germany<br>Peter Van Roy             Universite catholique de Louvain, Belgium<br>Janis Voigtlaender        University of Duisburg-Essen, Germany<br>Ningning Xie              University of Cambridge, UK<br><br><br>Contact Address<br>---------------<br><br>padl2023 _AT_ <a href="http://easychair.org/" rel="noreferrer" target="_blank">easychair.org</a><br><br>-------------------------------------------------------------------------------<br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><table style="color:rgb(80,0,80);border:none;border-collapse:collapse"><tbody><tr style="height:105.75pt"><td style="border-width:1pt;border-style:solid;border-color:rgb(255,255,255);vertical-align:top;padding:5pt;overflow:hidden"></td><td style="border-width:1pt;border-style:solid;border-color:rgb(255,255,255);vertical-align:top;padding:5pt;overflow:hidden"><div dir="ltr" style="margin-left:0pt" align="left"><table style="border:none;border-collapse:collapse"><colgroup><col width="129"><col width="495"></colgroup><tbody><tr style="height:0pt"><td style="border-left:solid #ffffff 1pt;border-right:solid #ffffff 1pt;border-bottom:solid #ffffff 1pt;border-top:solid #ffffff 1pt;vertical-align:top;padding:5pt 5pt 5pt 5pt;overflow:hidden"><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><a href="https://miamioh.edu/" style="text-decoration:none" target="_blank"><span style="font-size:11pt;font-family:Arial;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre;white-space:pre-wrap"><span style="border:none;display:inline-block;overflow:hidden;width:119px;height:93px"><img src="https://lh5.googleusercontent.com/AOKwXlUtTsaeJh_a1sRblBWdYJVlvlOpiyCbU_g1fNYx_od_apDAft6vTto4UXvT8xVDtpIX1vuYuXhop6zDamBSLKBLFRDhKXUAL_rmfR3CNFH2wXQI6yK2fEMeaEiZQ6wI5NKK=s0" width="119" height="93.03576923076923" style="margin-left:0px"></span></span></a></p></td><td style="border-left:solid #ffffff 1pt;border-right:solid #ffffff 1pt;border-bottom:solid #ffffff 1pt;border-top:solid #ffffff 1pt;vertical-align:top;padding:5pt 5pt 5pt 5pt;overflow:hidden"><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:1pt"><span style="font-size:12pt;font-family:Arial;color:#c41230;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap">Daniela Inclezan</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:1pt"><span style="font-size:10pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap">Mary Lou Schallek Associate Professor</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:1pt"><span style="font-size:10pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap">CSE Graduate Program Director</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:1pt"><span style="font-size:10pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:italic;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap">Committee Chair of the Humanitarian Engineering and Computing Minor<br></span></p><p dir="ltr" style="line-height:1.44;background-color:#ffffff;margin-top:0pt;margin-bottom:0pt;padding:0pt 0pt 1pt 0pt"><span style="font-size:10pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap">Miami University</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap">205C Benton Hall</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="background-color:transparent;color:rgb(0,0,0);font-family:Arial;font-size:10pt;white-space:pre-wrap">510 E. High St, Oxford, OH 45056</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap">T: 513-529-0355 | </span><a href="https://miamioh.edu/" style="text-decoration:none" target="_blank"><span style="font-size:10pt;font-family:Arial;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre;white-space:pre-wrap">MiamiOH.edu</span></a></p><br></td></tr></tbody></table></div><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:1pt"><span></span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap"><span style="border:none;display:inline-block;overflow:hidden;width:342px;height:14px"><img src="https://lh4.googleusercontent.com/Mf4ZQPlpwqT6lynwosTrZdcV-ZGmrV_WG2u9eGHivZd5tcLCvSKz4RUE9KcPXpqHKfQ6iqDkoCMj9Cy4yw3R7tTGQUGBSApXTKrZxf5yKYMac835OD2A41OsftnMhGC495XhI5R0=s0" width="342" height="14" style="margin-left:0px;margin-top:0px"></span></span></p></td></tr></tbody></table></div></div></div></div></div>