Call for Papers
42nd International Conference on Logic Programming (ICLP’26)
Lisbon, Portugal, | July 20-23, 2026
The conference is part of the Federated Logic Conference (FLoC) 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).
- Paper registration (regular papers): January 24, 2026
- Paper submission (regular papers): January 31, 2026
- Notification to authors (regular papers): March 5, 2026
- Paper submission (short papers): March 27, 2026
- Revision submission (regular papers): March 27, 2026
- Final notification to authors: April 17, 2026
- Main conference: July 20-23, 2026
Paper submission will be through the following link https://submissions.floc26.org/iclp/
Accepted regular papers will appear in the journal Theory and Practice of Logic Programming (TPLP). Accepted short papers will be published by Electronic Proceedings in Theoretical Computer Science (EPTCS).
AFFILIATED EVENTS:
- Workshops: July 18-19, 2026
- Doctoral Consortium: July 18-19, 2026
- Autumn School in Computational Logic: July 18-19, 2026
- Thematic Tracks (to be announced)
VENUE:
ICLP’26 will be held at iscte - University Institute of Lisbon.
ORGANIZATION:
General Chair: Ricardo Rocha and Vitor Santos Costa (University of Porto, Portugal)
Program Chairs: Wolfgang Faber (University of Klagenfurt, Austria) and
Laura Giordano (University of Piemonte Orientale, Italy)
Workshop Chair: Miguel Areias (University of Porto, Portugal)
Publicity Chairs: Emanuele De Angelis (IASI-CNR, Italy) and
Zachary Hansen (University of Nebraska Omaha, USA)
Web Chair: Michael Morak (University of Klagenfurt, Austria)