PADL 2024
Dates to be announced London, United Kingdom
co-located with POPL 2024
All Editions
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

PADL 2025 with POPL 2025

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 ...

Dates to be announced London, United Kingdom

PADL 2024 with POPL 2024

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, databases and constraint programming, and theorem proving. PADL’24 will take place during 15-16 January 2024 as a physical (in-person) event. For each accepted paper at least o ...

Dates to be announced Boston, Massachusetts, United States

PADL 2023 with POPL 2023

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 ...

Mon 17 - Tue 18 January 2022 Philadelphia, Pennsylvania, United States

PADL 2022 with POPL 2022

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 data base management to active networks to softwar ...

Mon 18 - Tue 19 January 2021 Online

PADL 2021 with POPL 2021

Available now: Proceedings for PADL 2021  About The paradigm of declarative languages encompasses several well-established classes of programming languages, namely: functional, logic, and constraint programming languages.These languages have been successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support syst ...

Mon 20 - Tue 21 January 2020 New Orleans, Louisiana, United States

PADL 2020 with POPL 2020

The 22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020) https://popl20.sigplan.org/home/PADL-2020 20-21 January 2020, New Orleans, Louisiana, United States Co-located with ACM POPL 2020 (https://popl20.sigplan.org/) Declarative languages is an umbrella term that include functional, logic, and constraint programming languages. These languages have been successfully applied ...

Sun 13 - Sat 19 January 2019 Cascais, Portugal

PADL 2019 with POPL 2019

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 concepts, including, functional, logic, constraints, etc. PADL 2019 will take place on 14-15 January. Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languag ...

Mon 8 - Sat 13 January 2018 Los Angeles, California, United States

PADL 2018 with POPL 2018

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 concepts, including, functional, logic, constraints, etc. Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many dif ...

Mon 16 - Tue 17 January 2017

PADL 2017 with POPL 2017

Nineteenth International Symposium on Practical Aspects of Declarative Languages Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in th ...

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

PADL with POPL 2016

Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, ap ...