Call for Papers

ICP 2026: The 42nd International Conference on Logic Programming

Lisbon, Portugal, July 20-23, 2026

Affiliation

This conference is part of the Federated Logic Conference (FLoC) 2026 to take place in Lisbon, Portugal.

Aims and Scope

Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to:

Theoretical Foundations:

Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results.

Language Design and Programming Methodologies:

Concurrency and parallelism, Mobility, Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Answer Set Programming, Inductive Logic Programming, Coinductive Logic Programming

Program Analysis and Optimization:

Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs.

Implementation Methodologies:

Compilation, Parallel/distributed execution, Constraint implementation, Tabling, Logic-based prompt engineering, User interfaces.

Important Dates

All dates Anywhere-on-Earth (UTC-12).

Affiliated Events

Special Tracks

In addition to the main track, ICLP’26 will host a Recently Published Research Track. See below for details.

Submission Details

All submissions must be written in English. Papers accepted at ICLP may appear either in

All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to Recently Published Research Track submissions as well as previously accepted workshop papers with a limited audience and/or without archival proceedings.

All accepted papers will be presented during the conference. Authors of accepted papers will be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost.

Paper submission will be made through the following link: https://submissions.floc26.org/iclp/

Submissions may have one of two forms:

1) Regular (TPLP) papers

Regular papers are at most 14 pages in TPLP format, including references. Regular papers that are not (provisionally) accepted for TPLP may be invited to the Technical Communication Proceedings of ICLP’26. The authors can choose to convert a regular paper accepted for the Technical Communication Proceedings into an extended abstract (2 or 3 pages in EPTCS format), which should allow for submitting a long paper version elsewhere.

2) Technical Communication (TC) papers

Technical Communication (TC) papers are at most 12 pages in EPTCS format, excluding references. Accepted TC papers will be published in the Technical Communication Proceedings.

3) Recently Published Research Track (RPR) papers

The ICLP 2026 Recently Published Research (RPR) Track provides a forum to discuss recent research on topics related to logic programming. We invite submissions of extended abstracts of papers that have appeared or been accepted for publication in journals or conference proceedings but which have not been already presented at ICLP conferences nor at other main logic programming-related conferences (such as, for example, LPNMR, LOPSTR, or LPAR).

Papers accepted to the track will be linked from the conference web site. At least one author of each accepted paper is required to register for the conference to present the work.

RPR Submissions should meet the following criteria: Papers must have been published in a journal or conference proceedings (except ICLP and closely related conferences) in 2024 or later. Papers that are in press may also be submitted as long as the final camera-ready version is available. They should also fall into one or both of the following categories:

  1. Papers that bridge logic programming to other areas such as declarative programming, constraint programming, knowledge representation, databases, AI, as well as to applications;

  2. Papers that are tightly related to ICLP and meet at least one of the following conditions:

Venue

ICLP’26 will be held at iscte - University Institute of Lisbon. See FLoC 2026.

Organizers

General Chairs:

Program Chairs:

Workshop Chair:

Publicity Chairs:

Web Chair:

Program Committee

See here.