- From: <cfp@mat.unical.it>
- Date: Mon, 13 Dec 2021 21:28:53 +0100
- To: cfp@mat.unical.it
[apologies for multiple copies] === Call for Participation === 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022) Philadelphia, Pennsylvania, United States 17-18th January 2022 https://popl22.sigplan.org/home/PADL-2022 Co-located with POPL 2022 == Venue and Conference Format == PADL 2022 is co-located with POPL 2022, which will be held in-person in Philadelphia at the Westin Philadelphia (https://www.marriott.com/hotels/travel/phlwi-the-westin-philadelphia). Authors that are unable to be at PADL in person can give their talk remotely. All talks will be recorded, and all recordings will be available either as a livestream or soon afterwards. For more details visit the POPL 2022 website: https://popl22.sigplan.org/ == Program == Conference program can be found at: https://popl22.sigplan.org/home/PADL-2022#program == Invited Talks== PADL 2022 features two invited talks: “People, Ideas, and the Path Ahead” by Marcello Balduccini (https://www.sju.edu/faculty/marcello-balduccini/) “Declarative Programming and Education” by Shriram Krishnamurthi (https://cs.brown.edu/~sk/) == Registration == Registration is open at: https://popl22.sigplan.org/attending/registration The early registration deadline is January 3. At least one author of each accepted paper must get registered. == Conference Description == Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming. Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. 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 functional and logic programming, database and constraint programming, and theorem proving. == Program Chairs == - James Cheney, University of Edinburgh - Simona Perri, University of Calabria == Program Committee == Andres Löh, WellTyped Chiaki Sakama, Wakayama University Daniela Inclezan, Miami University Ekaterina Komendantskaya, Heriot-Watt University Esra Erdem, Sabanci University Francesco Calimeri, University of Calabria Jan Christiansen, Flensburg University of Applied Sciences Konstantin Schekotihin, University of Klagenfurt Lionel Parreaux, Hong Kong University of Science and Technology Lukasz Ziarek, University at Buffalo, United States Marco Maratea, University of Genova Marina De Vos, University of Bath Martin Erwig, Oregon State University Martin Gebser, University of Klagenfurt Michael Greenberg, Stevens Institute of Technology Paul Tarau, University of North Texas Pavan Kumar Chittimalli, TCS Research, India Pedro Cabalar, University of Corunna Roly Perera, The Alan Turing Institute Tomas Petricek, University of Kent Torsten Grust, University of Tübingen Tran Cao Son, New Mexico State University Yukiyoshi Kameyama, University of Tsukuba
Received on Monday, 13 December 2021 20:30:05 UTC