LOPSTR+PPDP 2026 Call for Papers

General
1

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 provide 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 dates for
the Joint Symposium are August 27–29, 2026. 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

  • Conference Dates: 27–29 August 2026

Topics of Interest

Topics of interest to the 2026 Joint Symposium reflect both 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 formal methods to systems such as security,
      cyber-physical, and distributed systems; as well as tools and
      practices.

  • All other aspects of declarative languages such as

    • Uses 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, 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, sponsored by
Springer Nature.

Submission Guidelines

Submissions will be made via the HotCRP submission webpage.
[LOPSTR+PPDP Submission
Webpage]{.underline}. 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

  • 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]{.underline}.
Supplementary material may be included.

Sponsorship

Springer Lecture Notes in Computer Science

Organization

Chairs

William Byrd University of Alabama, Birmingham
Theresa Swift Johns Hopkins Applied Physics Lab

Program Committee

Sandra Alves University of Porto, Portugal
Zena Ariola University of Oregon, USA
JoĂŁo Barbosa University of Porto, Portugal
Małgorzata Biernacka
Juliana Bowles University of St Andrews, UK
James Cheney University of Edinburgh, UK
Maximiliano Cristiá CIFASIS / CONICET, Argentina
Marina de Vos University of Bath, UK
Gregory Duck National University of Singapore, Singapore
Joseph Eremondi University of Regina, Canada
Santiago Escobar Universitat Politècnica de València, Spain
Paola Giannini University of Eastern Piedmont, Italy
Jeremy Gibbons University of Oxford, UK
Thomas Gilray Washington State University, USA
Robert GlĂĽck University of Copenhagen, Denmark
Gopal Gupta University of Texas at Dallas, USA
Geoff Hamilton Dublin City University, Ireland
Michael Hanus University of Kiel, Germany
Hugo Herbelin Inria, France
Daniela Inclezan Miami University, USA
Neel Krishnaswamy University of Cambridge, UK
Temur Kutsia Johannes Kepler University Linz, Austria
Cosimo Laneve University of Bologna, Italy
Michael Leuschel Heinrich Heine University DĂĽsseldorf, Germany
Francesca Lisi University of Bari, Italy
Yanhong Annie Liu Stony Brook University, USA
Pedro Lopez-Garcia CSIC and IMDEA Software Institute, Spain
Maria Meo University of Chieti-Pescara, Italy
Marino Miculan University of Udine, Italy
Dale Miller Inria Saclay, France
Georg Moser University of Innsbruck, Austria
Gopalan Nadathur University of Minnesota, USA
Koji Nakazawa Nagoya University, Japan
Aleksandar Nanevski IMDEA Software Institute, Spain
Kim Nguyen Université Paris-Saclay, France
Jorge PĂ©rez University of Groningen, Netherlands
Adrián Riesco Complutense University of Madrid, Spain
Rob Simmons Independent researcher, USA
Helge Spieker Simula Research Laboratory, Norway
Son Cao Tran New Mexico State University, USA
Tarmo Uustalu Tallinn University of Technology, Estonia
Frank Valencia CNRS / Ecole Polytechnique, France
Wim Vanhoof University of Namur, Belgium
Niccolò Veltri Tallinn University of Technology, Estonia
Germán Vidal Universitat Politècnica de València, Spain
Alicia Villanueva Universitat Politècnica de València, Spain
Ningning Xie University of Toronto, Canada
Nisansala Yatapanage Australian National University, Australia
Theresas-MacBook-Pro:cfp theresaswift$

1 Like