James Cheney - Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings

More information about this subseries at https://link.springer.com/bookseries/7408

This Springer imprint is published by the registered company Springer Nature Switzerland AG

The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland

This volume contains the papers presented at the 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022). The symposium was co-located with the 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022), and took place during January 1718, 2022. The conference was planned to be held in Philadelphia, Pennsylvania, and as of this writing it is planned to go ahead as a traditional in-person event following the nearly two years of disruption caused by the COVID19 pandemic.

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 programming with sets, functions, logics, and constraints. The contributions to PADL 2022 were particularly focused on new ideas and approaches for principled implementation, fuzzing and declarative debugging, domain specific languages, and real-world applications ranging from blockchain to web programming.

Originally established as a workshop (PADL 1999 in San Antonio, Texas), the PADL series developed into a regular annual symposium; previous editions took place in San Antonio, Texas (1999), Boston, Massachusetts (2000), Las Vegas, Nevada (2001), Portland, Oregon (2002), New Orleans, Louisiana (2003), Dallas, Texas (2004), Long Beach, California (2005), Charleston, South Carolina (2006), Nice, France (2007), San Francisco, California (2008), Savannah, Georgia (2009), Madrid, Spain (2010), Austin, Texas (2012), Rome, Italy (2013), San Diego, California (2014), Portland, Oregon (2015), St. Petersburg, Florida (2016), Paris, France (2017), Los Angeles, California (2018), Lisbon, Portugal (2019), New Orleans, Louisiana (2020), and Copenhagen, Denmark (2021, virtual event due to COVID-19 pandemic).

This year, the Program Committee accepted nine full papers, four application papers, and one short paper (extended abstract), selected from 22 submissions. Each submission was reviewed by at least three Program Committee members and went through a five-day online discussion period by the Program Committee before a final decision was made. The selection was based only on the merit of each submission and regardless of scheduling or space constraints.

We would like to express thanks to the Association for Logic Programming (ALP) and the Association for Computing Machinery (ACM) for their continuous support of the symposium, and Springer for their longstanding, successful cooperation with the PADL series. We are very grateful to all members of the PADL 2022 Program Committee and external reviewers for their invaluable work. Many thanks to Marco Gavanelli, the ALP Conference Coordinator. We are happy to note that the conference was successfully managed with the help of EasyChair.

We note that this was an unusual year due to the continued disruption and uncertainty of the COVID19 pandemic, although with the development of vaccines and widespread vaccination programs the outlook is considerably more hopeful than a year ago. Many (if not most) members of our research community have been adversely affected, in a variety of ways, and while the situation has improved, the pandemic has undoubtedly had an impact on the amount of scientific activity that people have been able to engage in. We are therefore even more thankful to our reviewers for their time and care, and to all contributors to this years PADL.