LOPSTR+PPDP 2026

This page will soon grow in content and contain information about the scope of this research track.The 2026 Joint International Symposium: LOPSTR+PPDP brings together two long-established and important conferences in symbolic AI: The 36th Annual Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), and The 28th International Symposium on Principles and Practice of Declarative Programming (PPDP).

This Joint Symposium will provides a forum for the communities of both conferences to present new research and discover new perspectives.

The Joint Symposium will take place August 28-29, 2026 in Indianapolis, Indiana, USA. It is co-located with {\em The ACM International Conference on Functional Programming}.

Call for Papers

Overview

The 2026 Joint International Symposium: LOPSTR+PPDP brings together two long-established conferences in symbolic AI: The 36th Annual Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), and The 28th International Symposium on Principles and Practice of Declarative Programming (PPDP).

This Joint Symposium will provides a forum for the communities of both conferences to present new research and discover new perspectives.

The Joint Symposium is co-located with The ACM International Conference on Functional Programming in Indianapolis, Indiana, USA. The anticipated dates for the Joint Symposium are August 28-29, 2026, although these dates are not yet official, and are subject to change. Accepted papers will be published by Springer Nature as a volume of the Lecture Notes in Computer Science series.

Important Dates (AoE)

Abstract Registration: 20 May 2026

Paper Submission: 27 May 2026

Author Notification: 26 June 2026

Final Paper Version: 8 July 2026

Anticipated Conference Dates: 28-29 August 2026 (These dates are not yet official, and are subject to change)

Topics of Interest

Topics of interest to the 2026 Joint Symposium reflect both of its constituent communities. These topics include, but are not limited to, the following.

• Formal methods (including logic-based, category-theoretic and algebraic methods) <applied to programs or to program frameworks. Of particular interest are uses of these methods that pertain to declarative languages or to AI-generated code. Aspects include.
• Synthesis, abstract interpretation, control flow, data flow, resource analysis, termination analysis, type inference and type checking.
• Verification, dynamic analysis, testing and certification.
• Applications of such formal methods to systems such as security, cyber-physical and distributed systems; as well as tools and industrial practices.
• All other aspects of declarative languages such as
• Uses for symbolic AI or for neuro-symbolic frameworks such as probabilistic or differentiable languages.
• Declarative language design: domain-specific languages; concurrency, parallelism and distribution; logic programming, functional languages; reactive languages; objects; languages for quantum computing; languages inspired by biological or chemical computation.
• Foundations: type theory, categories, complexity results, termination, logical semantics.
• Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management guarantees.
• Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; novel applications of declarative programming inside and outside of CS; declarative programming pearls.

Best Paper Award

There will be an award of EUR 1000 for the best paper LOPSTR+PPDP 2026, sponsored by Springer Nature.

Submission Guidelines

Submissions will be made via the HotCRP submission webpage: LOPSTR+PPDP Submission Webpage All submissions must present work that is unpublished and not submitted elsewhere. Work that has appeared in unpublished or informally published workshop proceedings may be submitted.

• ** Submissions of Research Papers**

  • Long papers must not exceed 15 pages excluding bibliography.
  • Short papers must not exceed 8 pages excluding bibliography.

• Submission of System Descriptions must describe novel aspects of a working system and provide a link to that system. System description papers must be marked as such and must not exceed 10 pages.

All submissions must be in Springer Nature format, accessible through: Springer Nature Guide to Authors. Supplementary material may be included.

Program Chairs

William Byrd (University of Alabama, Birmingham)

Theresa Swift (Johns Hopkins Applied Physics Lab)

Sponsorship

Lecture Notes in Computer Science