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.

Submission Guidelines

We welcome two categories of submissions:

Regular papers:

These will appear in the journal Theory and Practice of Logic Programming (TPLP).

Short papers:

These will be published via Electronic Proceedings in Theoretical Computer Science (EPTCS).

Paper submission will be handled electronically by FLoC. All submissions will be peer-reviewed. The submission system can be found here.

Important Dates

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

Venue

The conference 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.