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