ICLP 2026

July 20-23, 2026, Lisbon, Portugal

The 42nd International Conference on Logic Programming

ICLP 2026
Lisbon, Portugal. Picture (C) Michael Morak, 2011

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:

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

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

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

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

Important Dates

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

Contents:

This website is hosted at University of Klagenfurt, 2025.

Theme: workshop-template-b by evanwill is built using Jekyll on GitHub Pages. The site is styled using Bootstrap and FontAwesome.

Content: CC BY-SA Michael Morak 2025 (get source code). Creative Commons License