PPDP 2025: Call for Papers

The 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025) will be held on September 10-11, 2025, at the University of Calabria, Rende, Italy. PPDP 2025 is co-located with ICLP 2025 and is in cooperation with ACM SIGLOG and SIGPLAN.

Overview

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

At least one of the authors of an accepted paper is expected to attend the conference and present the paper.

Topics of Interest

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:

Language Design

• Domain-specific languages
• Interoperability
• Concurrency, parallelism and distribution
• Modules
• Functional languages
• Reactive languages
• Languages with objects
• Languages for quantum computing
• Languages inspired by biological and chemical computation
• Metaprogramming

Declarative languages in artificial intelligence

• Logic programming
• Database languages
• Knowledge representation languages
• Probabilistic languages
• Differentiable languages

Implementations

• Abstract machines
• Interpreters
• Compilation
• Compile-time and run-time optimization
• Memory management

Foundations

• Types
• Logical frameworks
• Monads and effects
• Semantics

Analysis and Transformation

• Partial evaluation
• Abstract interpretation
• Control flow
• Data flow
• Information flow
• Termination analysis
• Resource analysis
• Type inference and type checking
• Verification
• Validation
• Debugging
• Testing

Tools and Applications

• Programming and proof environments
• Verification tools
• Case studies in proof assistants or interactive theorem provers
• Certification
• Novel applications of declarative programming inside and outside of CS
• Declarative programming pearls
• Practical experience reports and industrial applications
• Education

Submission Categories and Guidelines

Submissions can be made in three categories:

1. Regular Research Papers

   • Must present original research which is unpublished and not submitted elsewhere.
   • Must not exceed 12 pages (ACM style 2-column, including figures, but excluding bibliography).
   • Work that already appeared in unpublished or informally published workshop proceedings may be submitted.
   • Judged on originality, significance, correctness, clarity, and readability.

2. System Descriptions

   • Must describe a working system whose description has not been published or submitted elsewhere.
   • Must not exceed 10 pages and should contain a link to a working system.
   • Must be marked as "System Description" at the time of submission.
   • Judged on originality, significance, usefulness, clarity, and readability.

3. Experience Reports

   • Meant to help create a body of published, refereed, citable evidence where declarative programming is used in practice.
   • Must not exceed 5 pages (including references).
   • Must be marked as "Experience Report" at the time of submission and need not report original research results.
   • Judged on significance, usefulness, clarity, and readability.
   • Possible topics include: insights from real-world projects, comparisons with conventional programming, curricular issues, real-world constraints, novel use in education, programming pearls.

Supplementary Material

Supplementary material may be provided via a link to an extended version of the submission (recommended) or in a clearly marked appendix beyond the page limits. Reviewers are not required to study extended versions or appendices.

Important Dates

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

Submission Platform

Submissions will be made via EasyChair. The submission webpage for PPDP 25 is https://easychair.org/conferences/?conf=iclp25. Please select the PPDP track.

Formatting Guidelines

• Submissions must use the most recent version of the Current ACM Master Template.
• Authors must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats.
• Authors should note ACM’s statement on author’s rights and comply with ACM’s plagiarism policy.

ACM Open Access Model

Authors are advised of ACM’s new open access publishing model for the International Conference Proceedings Series (ICPS). Authors at institutions not part of the ACM Open program or not qualifying for a waiver may be required to pay an article processing charge (APC). Detailed guidance is available at https://www.acm.org/publications/icps/author-guidance.

Organization

Program Committee Chairs:

• Małgorzata Biernacka (Institute of Computer Science, University of Wrocław, Poland)
• Carlos Olarte (LIPN and University Sorbonne Paris Nord, France)

Steering Committee Chair:

• James Cheney (Edinburgh University)