LOPSTR+PPDP 2026: Call for Contributions

--0000000000000de2bb0650a22f3f
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

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
=3D=3D=3D=3D=3D=3D=3D=3D
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)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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=E2=80=99s fina=
l
half-day)
    * 2nd (full) day on Friday, August 28, 2026
    * 3rd (full) day on Saturday, August 29, 2026

Topics of Interest
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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-gu=
idelines).
Supplementary material may be included.

Sponsorship
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Lecture Notes in Computer Science

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

Program Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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=C3=A3o Barbosa, University of Porto
Ma=C5=82gorzata Biernacka, University of Wroc=C5=82aw
Juliana Bowles, University of St Andrews
James Cheney, University of Edinburgh
Maximiliano Cristi=C3=A1, CIFASIS / CONICET
Marina de Vos, University of Bath
Gregory Duck, National University of Singapore
Joseph Eremondi, University of Regina
Santiago Escobar, Universitat Polit=C3=A8cnica de Val=C3=A8ncia
Paola Giannini, University of Eastern Piedmont
Jeremy Gibbons, University of Oxford
Thomas Gilray, Washington State University
Robert Gl=C3=BCck, 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=C3=BCsseldorf
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=C3=A9 Paris-Saclay
Jorge P=C3=A9rez, University of Groningen
Adri=C3=A1n 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=C3=B2 Veltri, Tallinn University of Technology
Germ=C3=A1n Vidal, Universitat Polit=C3=A8cnica de Val=C3=A8ncia
Alicia Villanueva, Universitat Polit=C3=A8cnica de Val=C3=A8ncia
Ningning Xie, University of Toronto
Nisansala Yatapanage, Australian National University

--0000000000000de2bb0650a22f3f
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>LOPSTR+PPDP 2026 (co-located with ICFP&#39;26)</div><=
div><br></div>2026 Joint International Symposium:<br>The 36th Annual Sympos=
ium on Logic-Based Program Synthesis and Transformation (LOPSTR)<br>+<br>Th=
e 28th International Symposium on Principles and Practice of Declarative Pr=
ogramming (PPDP).<br><br><a href=3D"https://icfp26.sigplan.org/home/lopstr-=
ppdp-2026">https://icfp26.sigplan.org/home/lopstr-ppdp-2026</a><br><br>Over=
view<br>=3D=3D=3D=3D=3D=3D=3D=3D<br>The 2026 Joint International Symposium:=
 LOPSTR+PPDP brings together two long-established conferences in symbolic A=
I: The 36th Annual Symposium on Logic-Based Program Synthesis and Transform=
ation (LOPSTR), and The 28th International Symposium on Principles and Prac=
tice of Declarative Programming (PPDP).<br><br>This Joint Symposium will pr=
ovides a forum for the communities of both conferences to present new resea=
rch and discover new perspectives.<br><br>The Joint Symposium is co-located=
 with The ACM International Conference on Functional Programming in Indiana=
polis, Indiana, USA. The anticipated dates for the Joint Symposium are Augu=
st 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.<br><br>Important Dates (A=
oE)<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>A=
bstract Registration: 20 May 2026<br>Paper Submission: 27 May 2026<br>Autho=
r Notification: 26 June 2026<br>Final Paper Version: 8 July 2026<br><br>Con=
ference Dates:<br>=C2=A0 =C2=A0 * 1/2 day on Thursday, August 27, 2026 (ove=
rlapping ICFP=E2=80=99s final half-day)<br>=C2=A0 =C2=A0 * 2nd (full) day o=
n Friday, August 28, 2026<br>=C2=A0 =C2=A0 * 3rd (full) day on Saturday, Au=
gust 29, 2026<br><br>Topics of Interest<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D<br>Topics of interest to the 2026 Joint Symposium =
reflect both of its constituent communities. These topics include, but are =
not limited to, the following.<br><br>=C2=A0 =C2=A0 * Formal methods (inclu=
ding logic-based, category-theoretic and algebraic methods) applied to prog=
rams or to program frameworks. Of particular interest are uses of these met=
hods that pertain to declarative languages or to AI-generated code. Aspects=
 include.<br>=C2=A0 =C2=A0 * Synthesis, abstract interpretation, control fl=
ow, data flow, resource analysis, termination analysis, type inference and =
type checking.<br>=C2=A0 =C2=A0 * Verification, dynamic analysis, testing a=
nd certification.<br>=C2=A0 =C2=A0 * Applications of such formal methods to=
 systems such as security, cyber-physical and distributed systems; as well =
as tools and industrial practices.<br>=C2=A0 =C2=A0 * All other aspects of =
declarative languages such as<br>=C2=A0 =C2=A0 * Uses for symbolic AI or fo=
r neuro-symbolic frameworks such as probabilistic or differentiable languag=
es.<br>=C2=A0 =C2=A0 * Declarative language design: domain-specific languag=
es; concurrency, parallelism and distribution; logic programming, functiona=
l languages; reactive languages; objects; languages for quantum computing; =
languages inspired by biological or chemical computation.<br>=C2=A0 =C2=A0 =
* Foundations: type theory, categories, complexity results, termination, lo=
gical semantics.<br>=C2=A0 =C2=A0 * Implementations: abstract machines; int=
erpreters; compilation; compile-time and run-time optimization; memory mana=
gement guarantees.<br>=C2=A0 =C2=A0 * Tools and Applications: programming a=
nd proof environments; verification tools; case studies in proof assistants=
 or interactive theorem provers; novel applications of declarative programm=
ing inside and outside of CS; declarative programming pearls.<br><br>Best P=
aper Award<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>There wil=
l be an award of EUR 1000 for the best paper LOPSTR+PPDP 2026, sponsored by=
 Springer Nature.<br>Submission Guidelines<br><br>Submissions will be made =
via the HotCRP submission webpage: LOPSTR+PPDP Submission Webpage (<a href=
=3D"https://lopstr-ppdp26.hotcrp.com/">https://lopstr-ppdp26.hotcrp.com/</a=
>).=C2=A0 All submissions must present work that is unpublished and not sub=
mitted elsewhere. Work that has appeared in unpublished or informally publi=
shed workshop proceedings may be submitted.<br><br>=C2=A0 =C2=A0 * Submissi=
ons of Research Papers *<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 * Long papers must =
not exceed 15 pages excluding bibliography.<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =
* Short papers must not exceed 8 pages excluding bibliography.<br><br>=C2=
=A0 =C2=A0 * Submission of System Descriptions must describe novel aspects =
of a working system and provide a link to that system. System description p=
apers must be marked as such and must not exceed 10 pages.<br><br>All submi=
ssions must be in Springer Nature format, accessible through: Springer Natu=
re Guide to Authors (<a href=3D"https://www.springer.com/gp/computer-scienc=
e/lncs/conference-proceedings-guidelines">https://www.springer.com/gp/compu=
ter-science/lncs/conference-proceedings-guidelines</a>). Supplementary mate=
rial may be included.<br><br>Sponsorship<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D<br>Lecture Notes in Computer Science<br><br>Program Chairs<br>=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>William Byrd (co-organizer), Universit=
y of Alabama at Birmingham<br>Theresa Swift (co-organizer), Johns Hopkins A=
pplied Physics Lab<br><br>Program Committee<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D<br>William Byrd (co-chair), University of Alabama =
at Birmingham<br>Theresa Swift (co-chair), Johns Hopkins Applied Physics La=
b<br>Sandra Alves, University of Porto<br>Zena Ariola, University of Oregon=
<br>Jo=C3=A3o Barbosa, University of Porto<br>Ma=C5=82gorzata Biernacka, Un=
iversity of Wroc=C5=82aw<br>Juliana Bowles, University of St Andrews<br>Jam=
es Cheney, University of Edinburgh<br>Maximiliano Cristi=C3=A1, CIFASIS / C=
ONICET<br>Marina de Vos, University of Bath<br>Gregory Duck, National Unive=
rsity of Singapore<br>Joseph Eremondi, University of Regina<br>Santiago Esc=
obar, Universitat Polit=C3=A8cnica de Val=C3=A8ncia<br>Paola Giannini, Univ=
ersity of Eastern Piedmont<br>Jeremy Gibbons, University of Oxford<br>Thoma=
s Gilray, Washington State University<br>Robert Gl=C3=BCck, University of C=
openhagen<br>Gopal Gupta, University of Texas at Dallas<br>Geoff Hamilton, =
Dublin City University<br>Michael Hanus, University of Kiel<br>Hugo Herbeli=
n, Inria<br>Daniela Inclezan, Miami University<br>Neel Krishnaswamy, Univer=
sity of Cambridge<br>Temur Kutsia, Johannes Kepler University Linz<br>Cosim=
o Laneve, University of Bologna<br>Michael Leuschel, Heinrich Heine Univers=
ity D=C3=BCsseldorf<br>Francesca Lisi, University of Bari<br>Yanhong Annie =
Liu, Stony Brook University<br>Pedro Lopez-Garcia, CSIC and IMDEA Software =
Institute<br>Maria Meo, University of Chieti-Pescara<br>Marino Miculan, Uni=
versity of Udine<br>Dale Miller, Inria Saclay<br>Georg Moser, University of=
 Innsbruck<br>Gopalan Nadathur, University of Minnesota<br>Koji Nakazawa, N=
agoya University<br>Aleksandar Nanevski, IMDEA Software Institute<br>Kim Ng=
uyen, Universit=C3=A9 Paris-Saclay<br>Jorge P=C3=A9rez, University of Groni=
ngen<br>Adri=C3=A1n Riesco, Complutense University of Madrid<br>Rob Simmons=
, Independent researcher<br>Helge Spieker, Simula Research Laboratory<br>So=
n Cao Tran, New Mexico State University<br>Tarmo Uustalu, Tallinn Universit=
y of Technology<br>Frank Valencia, CNRS / Ecole Polytechnique<br>Wim Vanhoo=
f, University of Namur<br>Niccol=C3=B2 Veltri, Tallinn University of Techno=
logy<br>Germ=C3=A1n Vidal, Universitat Polit=C3=A8cnica de Val=C3=A8ncia<br=
>Alicia Villanueva, Universitat Polit=C3=A8cnica de Val=C3=A8ncia<br>Ningni=
ng Xie, University of Toronto<br>Nisansala Yatapanage, Australian National =
University<br><br></div>

--0000000000000de2bb0650a22f3f--