The 23rd International Symposium on Principles and Practice of Declarative Programming - PPDP 2021 - brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling 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.
Check for up-to-date information on the symposium website: https://ppdp2021.github.io/
PPDP 2021 is collocated with LOPSTR 2021 and will be held on September 6-8, 2021 as a hybrid (blended) meeting, both in-person at Tallinn Teachers' House (Raekoja plats 14) and virtual. Common information about the conference venue, registration, and travel is at PPDP-LOPSTR.
Local organisation Chair Niccolò Veltri from Software Science Department.