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 over 2 1/2 days, from August 27-29, 2026 in Indianapolis, Indiana, USA. It is co-located with {\em The ACM International Conference on Functional Programming}.
Highlights
Thu 27 AugDisplayed time zone: Eastern Time (US & Canada) change
13:55 - 15:00 | Thursday Afternoon SessionLOPSTR+PPDP at HO221 Presidents Room Chair(s): William E. Byrd University of Alabama at Birmingham, Theresa Swift Johns Hopkins Applied Physics Laboratory | ||
13:55 5mDay opening | Opening Greetings and Announcements (Day 1) LOPSTR+PPDP Theresa Swift Johns Hopkins Applied Physics Laboratory, William E. Byrd University of Alabama at Birmingham | ||
14:00 60mKeynote | Functional / Logic Programming in VerseKeynote LOPSTR+PPDP Stephanie Weirich University of Pennsylvania | ||
15:30 - 17:30 | Thursday Afternoon Session 2LOPSTR+PPDP at HO221 Presidents Room Chair(s): Kyle Dewey California State University, Northridge | ||
15:30 30mTalk | From Constraints to Cognition: A Hybrid Framework for Adaptive, Explainable SchedulingRemoteBest Paper Award LOPSTR+PPDP Stefania Costantini Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila, Valentina Pitoni Univaq, Andrea Formisano Università di Perugia , Lorenzo De Lauretis Univaq | ||
16:00 30mTalk | Strong and NAF Negations in Answer Set ProgrammingRemote LOPSTR+PPDP Yuliya Lierler University of Nebraska | ||
16:30 30mTalk | Convenient Algebraic Programming with Coercive Subtyping LOPSTR+PPDP | ||
Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | Morning SessionLOPSTR+PPDP at IP137 Kelley Chair(s): William E. Byrd University of Alabama at Birmingham, Theresa Swift Johns Hopkins Applied Physics Laboratory | ||
09:00 5mDay opening | Opening Greetings and Announcements (Day 2) LOPSTR+PPDP Theresa Swift Johns Hopkins Applied Physics Laboratory, William E. Byrd University of Alabama at Birmingham | ||
09:05 60mKeynote | What Is "Quantum" About Quantum Computing?Keynote LOPSTR+PPDP Amr Sabry Indiana University | ||
11:00 - 12:30 | |||
11:00 30mTalk | Elements of Logic Programming in a Concatenative Functional LanguageRemote LOPSTR+PPDP Attila Egri-Nagy Akita International University | ||
11:30 30mTalk | Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 EffectsRemoteRecorded LOPSTR+PPDP Frédéric Dabrowski Université d'Orléans | ||
12:00 30mTalk | Wren: A Fast Logic Programming eDSL With Host Language Garbage Collection LOPSTR+PPDP | ||
14:00 - 15:30 | |||
14:00 30mTalk | Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI LOPSTR+PPDP Ehud Shapiro London School of Economics | ||
14:30 30mTalk | PAARL: An Interactive System for Policy-Aware Planning in Autonomous Agents (System Description) LOPSTR+PPDP | ||
15:00 30mTalk | Backwards Compatibility of Conditional Literals LOPSTR+PPDP Zachary Hansen Boise State University | ||
16:00 - 17:30 | |||
16:00 30mTalk | Deconstructed Proto-Quipper: A Rational Reconstruction LOPSTR+PPDP Ryan Kavanagh Université du Québec à Montréal, Chuta Sano McGill University, Brigitte Pientka McGill University | ||
16:30 30mTalk | Deriving a Kronecker-Free Functional Quantum Simulator LOPSTR+PPDP Martin Elsman University of Copenhagen Pre-print | ||
17:00 30mPanel | LOPSTR+PPDP Discussion LOPSTR+PPDP | ||
Sat 29 AugDisplayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | Morning SessionLOPSTR+PPDP at IP137 Kelley Chair(s): William E. Byrd University of Alabama at Birmingham, Theresa Swift Johns Hopkins Applied Physics Laboratory | ||
09:00 5mDay opening | Opening Greetings and Announcements (Day 3) LOPSTR+PPDP Theresa Swift Johns Hopkins Applied Physics Laboratory, William E. Byrd University of Alabama at Birmingham | ||
09:05 60mKeynote | Proof-Carrying Code For the Age of AI: Machine-Checked Guarantees from Specifications to ExecutablesKeynote LOPSTR+PPDP Zoe Paraskevopoulou National Technical University of Athens | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Typed and Unified Reflection for Shift and Shift0 LOPSTR+PPDP | ||
11:30 30mTalk | Combining Small-Step and Big-Step Semantics to Verify Loop OptimizationsRemote LOPSTR+PPDP David Knothe FZI Research Center for Information Technology, Oliver Bringmann FZI Research Center for Information Technology | ||
12:00 30mTalk | Certified hardware for regexp matching: A rocq library and its workflowRemote LOPSTR+PPDP Julin Shaji Indian Institute of Technology Palakkad, Piyush Kurur Indian Institute of Technology Palakkad, Sandeep Chandran Indian Institute of Technology Palakkad | ||
14:00 - 15:30 | |||
14:00 30mTalk | StageML: Partial Evaluation for Multi-Tenant MoE-LoRA Inference LOPSTR+PPDP | ||
14:30 30mTalk | Complex Autonomous UAV Task Execution and Decision-Making Using s(CASP) LOPSTR+PPDP Keegan Kimbrell University of Texas at Dallas, USA, Alexis R Tudor University of Texas at Dallas, Peter Vu University of Texas at Dallas, Trevor Bihl Ohio University, Doug Slattery SYBOR Tech, Inc., Gopal Gupta University of Texas at Dallas | ||
15:00 30mTalk | Vehicle with Time: Signal First-Order Logic for Closed-Loop Controller Synthesis LOPSTR+PPDP Gusts Gustavs Grīnbergs IT University of Copenhagen, Alessandro Bruni IT University of Copenhagen, Matthew L. Daggitt University of Western Australia | ||
16:00 - 17:30 | Afternoon Session 2LOPSTR+PPDP at IP137 Kelley Chair(s): William E. Byrd University of Alabama at Birmingham, Theresa Swift Johns Hopkins Applied Physics Laboratory | ||
16:00 90mPanel | Coding Agents: New opportunities for formal methods? LOPSTR+PPDP | ||
Accepted Papers
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: 31 May 2026 (Updated deadline!)
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 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
| Sat 29 Aug 2026 Third (Full) Day of LOPSTR+PPDP |
| Fri 28 Aug 2026 Second (Full) Day of LOPSTR+PPDP |
| Thu 27 Aug 2026 First (Half) Day of LOPSTR+PPDP (1/2 day, overlapping ICFP's final half-day) |
| Fri 24 Jul 2026 Final Paper Version |
| Fri 3 Jul 2026 Author Notification |
| Sun 31 May 2026 Paper Submission |
| Wed 20 May 2026 Abstract Registration |
William E. ByrdCo-chair
University of Alabama at Birmingham
United States
Theresa SwiftCo-chair
Johns Hopkins Applied Physics Laboratory
United States
Sandra AlvesCommittee Member
University of Porto
Portugal
Zena M. AriolaCommittee Member
University of Oregon
United States
João BarbosaCommittee Member
University of Porto
Malgorzata BiernackaCommittee Member
University of Wrocław
Juliana BowlesCommittee Member
University of St Andrews, St Andrews, UK
James CheneyCommittee Member
University of Edinburgh
United Kingdom
Maximiliano CristiáCommittee Member
Universidad Nacional de Rosario
Argentina
Marina De VosCommittee Member
University of Bath
United Kingdom
Gregory J. DuckCommittee Member
National University of Singapore
Singapore
Joseph EremondiCommittee Member
University of Regina
Canada
Santiago EscobarCommittee Member
Universitat Politècnica de València
Paola GianniniCommittee Member
University of Eastern Piedmont
Italy
Jeremy GibbonsCommittee Member
Department of Computer Science, University of Oxford
United Kingdom
Thomas GilrayCommittee Member
Washington State University
United States
Robert GlückCommittee Member
University of Copenhagen
Denmark
Gopal GuptaCommittee Member
University of Texas at Dallas
Geoff HamiltonCommittee Member
Dublin City University
Michael HanusCommittee Member
Kiel University
Germany
Hugo HerbelinCommittee Member
Inria
Daniela InclezanCommittee Member
Miami University, USA
Neel KrishnaswamiCommittee Member
University of Cambridge
United Kingdom
Temur KutsiaCommittee Member
Johannes Kepler University Linz
Cosimo LaneveCommittee Member
University of Bologna
Michael LeuschelCommittee Member
HHU
Germany
Francesca Alessandra LisiCommittee Member
University of Bari
Italy
Y. Annie LiuCommittee Member
Stony Brook University
United States
Pedro López-GarcíaCommittee Member
IMDEA Software Institute
Maria Chiara MeoCommittee Member
University “G. d’Annunzio” of Chieti-Pescara
Italy
Marino MiculanCommittee Member
University of Udine
Italy
Dale MillerCommittee Member
INRIA Saclay and LIX/Institut Polytechnique de Paris
France
Georg MoserCommittee Member
University of Innsbruck
Gopalan NadathurCommittee Member
University of Minnesota
United States
Koji NakazawaCommittee Member
Nagoya University
Japan
Aleksandar NanevskiCommittee Member
IMDEA Software Institute
Spain
Kim NguyễnCommittee Member
Université Paris-Saclay
France
Jorge A. PérezCommittee Member
University of Groningen
Netherlands
Adrian RiescoCommittee Member
Universidad Complutense de Madrid
Spain
Robert SimmonsCommittee Member
Independent
United States
Helge SpiekerCommittee Member
Simula Research Laboratory
Norway
Tran Cao SonCommittee Member
New Mexico State University
Tarmo UustaluCommittee Member
Reykjavik University
Iceland
Frank ValenciaCommittee Member
CNRS / Ecole Polytechnique
Wim VanhoofCommittee Member
University of Namur
Belgium
Niccolò VeltriCommittee Member
Tallinn University of Technology
Estonia
German VidalCommittee Member
Universitat Politecnica de Valencia
Spain
Alicia VillanuevaCommittee Member
Universitat Politècnica de València
Spain
Ningning XieCommittee Member
University of Toronto
Canada
Nisansala YatapanageCommittee Member
Australian National University