The 21th International Symposium on Principles and Practice of Declarative Programming (PPDP'19) brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set and constraint-solving programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification.
Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to
PPDP 2019 will be held in Porto, Protugal. Previous symposia were held at
Frankfurt am Main (Germany),
Montréal (Canada), and
They are indexed by the DBLP Computer Science Bibliography.
Title: Semantic Foundations for Gradual Typing
Title: The PPDP Most Influential Paper 10-Year Award: Foundations of Session Types.
Title: 10 Years of the Higher-Order Model Checking Project (joint with LOPSTR'19)
Title: Reversibilization in Functional and Concurrent Programming (joint with LOPSTR'19)
PPDP 2019 is organised in cooperation with ACM and SIGPLAN.