International Symposium on Principles and Practice of Declarative Programming
OVERVIEW
PPDP aims to provide a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web.
The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited.
Click here for the bylaws governing PPDP.
MOST INFLUENTIAL PAPER 10-YEAR AWARD
Starting with the 13th edition of PPDP in 2011, each year the most influential paper from the conference 10 years ago is selected by the Steering Committee and awarded to recognize the authors' contribution to PPDP's influence in the area of declarative programming.
Award 2011 (for PPDP 2001): Olivier Danvy and Lasse R. Nielsen for "Defunctionalization at Work"
Award 2012 (for PPDP 2002): Marcello P. Fiore for "Semantic analysis of normalisation by evaluation for typed lambda calculus"
Award 2013 (for PPDP 2003): Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny for "Finding all minimal unsatisfiable subsets"
Award 2014 (for PPDP 2004): Maribel Fernández, Murdoch Gabbay, Ian Mackie for "Nominal rewriting systems"
Award 2015 (for PPDP 2005): Louis Mandel, Marc Pouzet for "ReactiveML: a reactive extension to ML"
Award 2016 (for PPDP 2006): Andres Löh, Ralf Hinze for "Open data types and open functions"
Award 2017 (for PPDP 2007): Leslie De Koninck, Tom Schrijvers, Bart Demoen for "User-definable rule priorities for CHR"
Award 2018 (for PPDP 2008): Brigitte Pientka, Jana Dunfield for "Programming with proofs and explicit contexts"
Award 2019 (for PPDP 2009): Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani for "Foundations of Session Types"
Award 2020 (for PPDP 2010): Franco Barbanera and Ugo de'Liguoro for "Two notions of sub-behaviour for session-based client/server systems"
Award 2021 (for PPDP 2011): Bernardo Toninho, Luís Caires, and Frank Pfenning for "Dependent session types via intuitionistic linear type theory"
Award 2022 (for PPDP 2012): Ornela Dardha, Elena Giachino, and Davide Sangiorgi for "Session Types Revisited"
Award 2023 (for PPDP 2013): Andrew Kennedy, Nick Benton, Jonas B. Jensen, and Pierre-Evariste Dagand for "Coq: the world's best macro assembler?"
Award 2024 (for PPDP 2014): Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, and Nobuko Yoshida for "On the Preciseness of Subtyping in Session Types"
UPCOMING CONFERENCE
27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025), co-located with ICLP, September 10-11 2025, Rende, Italy. PC chairs: Carlos Olarte and Malłgorzata Biernacka
Click here for the full list of previous conferences.