[PlanetKR] [ICLP 2026] ** Deadline Extension **

[Emanuele De Angelis]

---------------------------------------------

*Call for Papers *

42nd International Conference on Logic Programming (ICLP’26)

Lisbon, Portugal, July 20-23, 2026

https://www.semsys.aau.at/events/iclp2026/


The conference is part of the Federated Logic Conference (FLoC,
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 31, 2026

- Paper submission (regular papers): February 7, 2026

- Notification to authors (regular papers): March 12, 2026

- Paper submission (Technical Communications): March 27, 2026

- Revision submission (regular papers): April 3, 2026

- Final notification to authors: April 24, 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

-   the Technical Communication Proceedings published by Electronic
Proceedings in Theoretical Computer Science (EPTCS). EPTCS format is
described at: 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/


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/


*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/20260127/bff9b15e/attachment-0001.htm>