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. Detailed information will be announced separately.

Submission Details

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

Submissions may have one of two forms:

1) 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 are at most 12 pages in EPTCS format, excluding references. Accepted TC papers will be published in the Technical Communication Proceedings:

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

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.

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.