PPDP 2025

Welcome to the 27th International Symposium on Principles and Practice of Declarative Programming. PPDP will be co-located with ICLP 2025 and held on 10-11 September 2025 at the University of Calabria, Rende, Italy.

Important dates

• Title and abstract registration: 18 May 2025 (AoE)
• Paper submission: 30 May 2025 (AoE)
• Author notification: 7 July 2025
• Final paper version: 21 July 2025

Overview

The PPDP 2025 symposium 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.

Call for Papers

The CFP is available in this link.

Organization

Program committee chairs:

• Małgorzata Biernacka (Institute of Computer Science, University of Wroclaw)
• Carlos Olarte (University Sorbonne Paris Nord and Laboratoire d’Informatique de Paris Nord).

Steering committee chair:

• James Cheney (Edinburgh University)