# LOPSTR+PPDP 2026 Call for Papers **URL:** \ **Category:** General\ **Created:** [May 3, 2026, 5:28pm UTC](https://swi-prolog.discourse.group/t/lopstr-ppdp-2026-call-for-papers/9591 "2026-05-03T17:28:54Z")\ **Posts on this page:** 1\ **Page:** 1
**Author:** ![Theresa](https://avatars.discourse-cdn.com/v4/letter/t/bbce88/32.png) [@Theresa](https://swi-prolog.discourse.group/u/Theresa)\ **Post date:** [May 3, 2026, 5:28pm UTC](https://swi-prolog.discourse.group/t/lopstr-ppdp-2026-call-for-papers/9591/1 "2026-05-03T17:28:54Z")
# 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. - All other aspects of declarative languages such as # 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}](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** - **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}](https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). 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$