[PlanetKR] Call for Papers ICLP 2026

[Laura Giordano]

Call for Papers 
42nd International Conference on Logic Programming (ICLP’26)
Lisbon, Portugal, July 20-23, 2026
https://www.semsys.aau.at/events/iclp2026/ <https://www.floc26.org/>
 
The conference is part of the Federated Logic Conference (FLoC, https://www.floc26.org/ <https://www.floc26.org/>) 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
 
AFFILIATED EVENTS:
- Workshops: July 18-19, 2026
- Doctoral Consortium: July 18-19, 2026
- Autumn School in Computational Logic: July 18-19, 2026
 
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
-   the journal Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. TPLP format is described at: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/author-instructions/preparing-your-materials <https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/author-instructions/preparing-your-materials>
-   the Technical Communication Proceedings published by Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS format is described at: http://style.eptcs.org <http://style.eptcs.org/>
 
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/ <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 https://www.floc26.org/ <https://www.floc26.org/>
 
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20260110/95be2367/attachment.htm>