[Caml-list] LOPSTR+PPDP 2026: Call for Contributions

[Caml-list] LOPSTR+PPDP 2026: Call for Contributions

[William Byrd]

[-- Attachment #1: Type: text/plain, Size: 6875 bytes --]

LOPSTR+PPDP 2026 (co-located with ICFP'26)

2026 Joint International Symposium:
The 36th Annual Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR)
+
The 28th International Symposium on Principles and Practice of Declarative
Programming (PPDP).

https://icfp26.sigplan.org/home/lopstr-ppdp-2026

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

Conference Dates:
    * 1/2 day on Thursday, August 27, 2026 (overlapping ICFP’s final
half-day)
    * 2nd (full) day on Friday, August 28, 2026
    * 3rd (full) day on Saturday, August 29, 2026

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 (https://lopstr-ppdp26.hotcrp.com/).  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 (
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).
Supplementary material may be included.

Sponsorship
===========
Lecture Notes in Computer Science

Program Chairs
==============
William Byrd (co-organizer), University of Alabama at Birmingham
Theresa Swift (co-organizer), Johns Hopkins Applied Physics Lab

Program Committee
=================
William Byrd (co-chair), University of Alabama at Birmingham
Theresa Swift (co-chair), Johns Hopkins Applied Physics Lab
Sandra Alves, University of Porto
Zena Ariola, University of Oregon
João Barbosa, University of Porto
Małgorzata Biernacka, University of Wrocław
Juliana Bowles, University of St Andrews
James Cheney, University of Edinburgh
Maximiliano Cristiá, CIFASIS / CONICET
Marina de Vos, University of Bath
Gregory Duck, National University of Singapore
Joseph Eremondi, University of Regina
Santiago Escobar, Universitat Politècnica de València
Paola Giannini, University of Eastern Piedmont
Jeremy Gibbons, University of Oxford
Thomas Gilray, Washington State University
Robert Glück, University of Copenhagen
Gopal Gupta, University of Texas at Dallas
Geoff Hamilton, Dublin City University
Michael Hanus, University of Kiel
Hugo Herbelin, Inria
Daniela Inclezan, Miami University
Neel Krishnaswamy, University of Cambridge
Temur Kutsia, Johannes Kepler University Linz
Cosimo Laneve, University of Bologna
Michael Leuschel, Heinrich Heine University Düsseldorf
Francesca Lisi, University of Bari
Yanhong Annie Liu, Stony Brook University
Pedro Lopez-Garcia, CSIC and IMDEA Software Institute
Maria Meo, University of Chieti-Pescara
Marino Miculan, University of Udine
Dale Miller, Inria Saclay
Georg Moser, University of Innsbruck
Gopalan Nadathur, University of Minnesota
Koji Nakazawa, Nagoya University
Aleksandar Nanevski, IMDEA Software Institute
Kim Nguyen, Université Paris-Saclay
Jorge Pérez, University of Groningen
Adrián Riesco, Complutense University of Madrid
Rob Simmons, Independent researcher
Helge Spieker, Simula Research Laboratory
Son Cao Tran, New Mexico State University
Tarmo Uustalu, Tallinn University of Technology
Frank Valencia, CNRS / Ecole Polytechnique
Wim Vanhoof, University of Namur
Niccolò Veltri, Tallinn University of Technology
Germán Vidal, Universitat Politècnica de València
Alicia Villanueva, Universitat Politècnica de València
Ningning Xie, University of Toronto
Nisansala Yatapanage, Australian National University

[-- Attachment #2: Type: text/html, Size: 7371 bytes --]