[TYPES/announce] PADL 2026 Call for Papers

[Nada Amin]

PADL 2026 Call for Papers

PADL is a well-established forum for researchers and practitioners to
present original work emphasizing novel applications and implementation
techniques for all forms of declarative programming, including functional
and logic programming, databases and constraint programming, and theorem
proving.

Topics of interest include, but are not limited to:

   - Innovative applications of declarative languages
   - Declarative domain-specific languages and applications
   - Practical applications of theoretical results
   - New language developments and their impact on applications
   - Declarative languages and software engineering
   - Evaluation of implementation techniques on practical applications
   - Practical experiences and industrial applications
   - Novel uses of declarative languages in the classroom
   - Practical extensions such as constraint-based, probabilistic, and
   reactive languages

PADL 2026 especially welcomes new ideas and approaches related to
applications, design, and implementation of declarative languages going
beyond the scope of the past PADL symposia, for example, advanced database
languages and contract languages, as well as verification and
theorem-proving methods that rely on declarative languages.

PADL 2026 encourages students to participate in the symposium by providing
some student grants to partially cover the registration and travel costs.
The selection process will give preference to students who present their
paper in the symposium. Students from underrepresented groups are strongly
encouraged to apply.
Submissions <https://urldefense.com/v3/__https://popl26.sigplan.org/home/PADL-2026*submissions__;Iw!!IBzWLUs!Xptgo13nL0vxh2EquL0q5nLr8iVgSsyFrMXlNEW0HmXZ0flggnLyaOIAgTOTagZIM4SqzMhFgWviustiZ1naDZB2urk_iqns$ >

PADL 2026 welcomes regular papers (max. 15 pages, excluding
references) and short
papers (max. 8 pages, excluding references) that describe original and
previously unpublished research results on

   - complex and/or real-world applications in industry or in other areas
   of research, that rely on an innovative use of declarative languages,
   - tools and/or systems developed for such applications, and/or to
   improve practical aspects of declarative languages,
   - technical results related to the practical aspects of declarative
   languages.

Application and systems descriptions, engineering solutions, and real-world
experiences (both positive and negative) are in particular solicited.
Regular and short papers will be published in the formal proceedings.

PADL 2026 also welcomes extended abstracts (max. 3 pages) on the topics
above, that describe new ideas, a new perspective on already published
work, or work-in-progress that is not yet ready for a full publication.
Extended abstracts will be posted on the symposium website but will not be
published in the formal proceedings.

All page limits exclude references. Submissions must be written in English
and formatted according to the standard Springer LNCS style, see
https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!Xptgo13nL0vxh2EquL0q5nLr8iVgSsyFrMXlNEW0HmXZ0flggnLyaOIAgTOTagZIM4SqzMhFgWviustiZ1naDZB2ugUGq2QD$ 

The review process of PADL 2026 is double-anonymous. In your submission,
please, omit your names and institutions; refer to your prior work in the
third person, just as you refer to prior work by others; do not include
acknowledgments that might identify you.

Additional material intended for reviewers but not for publication in the
final version - for example, details of proofs - may be placed in a clearly
marked appendix that is not included in the page limit. Reviewers are at
liberty to ignore appendices and papers must be understandable without them.

Page numbers (and, if possible, line numbers) should appear on the
manuscript to help the reviewers in writing their reports. So, for LaTeX,
we recommend that authors use:

\pagestyle{plain}
\usepackage{lineno}
\linenumbers

[image: alt text] The conference proceedings of PADL 2026 will be published
by Springer-Verlag in the Lecture Notes in Computer Science series. Work
that already appeared in unpublished or informally published Workshop
proceedings may be submitted but the authors should notify the program
chairs where it has previously appeared. Previous PADL proceedings
<https://urldefense.com/v3/__https://link.springer.com/conference/padl__;!!IBzWLUs!Xptgo13nL0vxh2EquL0q5nLr8iVgSsyFrMXlNEW0HmXZ0flggnLyaOIAgTOTagZIM4SqzMhFgWviustiZ1naDZB2um4Kn_E0$ > can be found on SpringerLink
<https://urldefense.com/v3/__https://link.springer.com/__;!!IBzWLUs!Xptgo13nL0vxh2EquL0q5nLr8iVgSsyFrMXlNEW0HmXZ0flggnLyaOIAgTOTagZIM4SqzMhFgWviustiZ1naDZB2ulMBu6RV$ >.

Papers should be submitted electronically via https://urldefense.com/v3/__https://padl26.hotcrp.com__;!!IBzWLUs!Xptgo13nL0vxh2EquL0q5nLr8iVgSsyFrMXlNEW0HmXZ0flggnLyaOIAgTOTagZIM4SqzMhFgWviustiZ1naDZB2umLuHHJE$ .
Distinguished Papers
<https://urldefense.com/v3/__https://popl26.sigplan.org/home/PADL-2026*distinguished-papers__;Iw!!IBzWLUs!Xptgo13nL0vxh2EquL0q5nLr8iVgSsyFrMXlNEW0HmXZ0flggnLyaOIAgTOTagZIM4SqzMhFgWviustiZ1naDZB2ulpoofAS$ >

The authors of a small number of distinguished papers will be invited to
submit a longer version for journal publication after the symposium. For
papers related to logic programming, that will be in the journal Theory and
Practice of Logic Programming (TPLP)
<https://urldefense.com/v3/__https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming__;!!IBzWLUs!Xptgo13nL0vxh2EquL0q5nLr8iVgSsyFrMXlNEW0HmXZ0flggnLyaOIAgTOTagZIM4SqzMhFgWviustiZ1naDZB2ut1wXldR$ >,
and for papers related to functional programming, in Journal of Functional
Programming (JFP)
<https://urldefense.com/v3/__https://www.cambridge.org/core/journals/journal-of-functional-programming__;!!IBzWLUs!Xptgo13nL0vxh2EquL0q5nLr8iVgSsyFrMXlNEW0HmXZ0flggnLyaOIAgTOTagZIM4SqzMhFgWviustiZ1naDZB2uhCqzVxT$ >.
The extended journal submissions should be substantially (roughly 30%)
extended: explanations for which there was no space, illuminating examples
and proofs, additional definitions and theorems, further experimental
results, implementational details and feedback from practical/engineering
use, extended discussion of related work, and so on. These submissions will
then be subject to the usual peer review process by the journal, although
with the aim of a swifter review process by reusing original reviews from
PADL.

[image: alt text]
<https://urldefense.com/v3/__https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming__;!!IBzWLUs!Xptgo13nL0vxh2EquL0q5nLr8iVgSsyFrMXlNEW0HmXZ0flggnLyaOIAgTOTagZIM4SqzMhFgWviustiZ1naDZB2ut1wXldR$ >
 [image: alt text]
<https://urldefense.com/v3/__https://www.cambridge.org/core/journals/journal-of-functional-programming__;!!IBzWLUs!Xptgo13nL0vxh2EquL0q5nLr8iVgSsyFrMXlNEW0HmXZ0flggnLyaOIAgTOTagZIM4SqzMhFgWviustiZ1naDZB2uhCqzVxT$ >

https://urldefense.com/v3/__https://popl26.sigplan.org/home/PADL-2026*Call-for-Papers__;Iw!!IBzWLUs!Xptgo13nL0vxh2EquL0q5nLr8iVgSsyFrMXlNEW0HmXZ0flggnLyaOIAgTOTagZIM4SqzMhFgWviustiZ1naDZB2umcfojEG$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250908/2a0b98a2/attachment-0001.htm>