The 42nd International Conference on Logic Programming (ICLP 2026) will be held at ISCTE - Instituto Universitário de Lisboa in Lisbon, Portugal, as part of the Federated Logic Conference (FLoC) 2026, from July 20-23, 2026.

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.