[ICLP 2026] Call for Technical Communications and Recently Published Research
1 view
Skip to first unread message
Emanuele De Angelis
Mar 19, 2026, 12:24:55 PM (9 days ago) Mar 19
to sicstu...@googlegroups.com
Call for Technical Communications and Recently Published Research
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.
At this point, we welcome submissions of Technical Communications and Recently Published Research papers.
TECHNICAL COMMUNICATIONS PAPERS
ICLP 2026 Technical Communications (TC) discuss recent technical results in the areas mentioned above. They will be published in EPTCS proceedings and are shorter papers than regular papers (for which the deadline has already passed).
RECENTLY PUBLISHED RESEARCH PAPERS
The ICLP 2026 Recently Published Research (RPR) Track provides a forum to discuss recent research on topics related to logic programming. We invite submissions of extended abstracts of papers that have appeared or been accepted for publication in journals or conference proceedings but which have *not* been already presented at ICLP conferences nor at other main logic programming-related conferences (such as, for example, LPNMR, LOPSTR, or LPAR).
Papers accepted to the track will be linked from the conference web site. At least one author of each accepted paper is required to register for the conference to present the work.
RPR Submissions should meet the following criteria:
Papers must have been published in a journal or conference proceedings (except ICLP and closely related conferences) in 2024 or later. Papers that are in press may also be submitted as long as the final camera-ready version is available. They should also fall into one or both of the following categories:
1. Papers that bridge logic programming to other areas such as declarative programming, constraint programming, knowledge representation, databases, AI, as well as to applications;
2. Papers that are tightly related to ICLP and meet at least one of the following conditions:
- have been published in a journal but have not been presented at workshops or conferences;
- have been presented at conferences that are not typically attended by the ICLP community;
- have been presented at logic programming meetings with relatively limited attendance;
- have been accepted at high-profile conferences with some relation to logic programming
IMPORTANT DATES
All dates Anywhere-on-Earth (UTC-12).
- Paper submission (TC and RPR papers): April 3, 2026
- Notification to authors: May 4, 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
- Logic Programming Contest: July 21 or 22, 2026
SUBMISSION DETAILS
All submissions must be written in English. Accepted Technical Communications and Recently Published Research papers will be published by Electronic Proceedings in Theoretical Computer Science (EPTCS). The EPTCS format is described at: http://style.eptcs.org
Submissions may have one of two forms:
1) 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.
2) Recently Published Research (RPR) papers are at most 3 pages in EPTCS format, including references. There should be one single cover page listing the title, the authors, a complete reference to the original paper, an accessible URL from which the paper can be downloaded, and a list of keywords. The cover page must also contain a statement that the work on which the submission is based has not been already presented at a major logic programming forum (such as earlier ICLP, LPNMR, LOPSTR, LPAR). This cover page should be followed by a two-page extended abstract of the paper presenting the main contributions of the paper, discussing the relevance of the paper to logic programming, and explaining the significance of the results. The authors of accepted presentations will have the option to have their extended abstract included in the Technical Communications portion of the conference 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)
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.
At this point, we welcome submissions of Technical Communications and Recently Published Research papers.
TECHNICAL COMMUNICATIONS PAPERS
ICLP 2026 Technical Communications (TC) discuss recent technical results in the areas mentioned above. They will be published in EPTCS proceedings and are shorter papers than regular papers (for which the deadline has already passed).
RECENTLY PUBLISHED RESEARCH PAPERS
The ICLP 2026 Recently Published Research (RPR) Track provides a forum to discuss recent research on topics related to logic programming. We invite submissions of extended abstracts of papers that have appeared or been accepted for publication in journals or conference proceedings but which have *not* been already presented at ICLP conferences nor at other main logic programming-related conferences (such as, for example, LPNMR, LOPSTR, or LPAR).
Papers accepted to the track will be linked from the conference web site. At least one author of each accepted paper is required to register for the conference to present the work.
RPR Submissions should meet the following criteria:
Papers must have been published in a journal or conference proceedings (except ICLP and closely related conferences) in 2024 or later. Papers that are in press may also be submitted as long as the final camera-ready version is available. They should also fall into one or both of the following categories:
1. Papers that bridge logic programming to other areas such as declarative programming, constraint programming, knowledge representation, databases, AI, as well as to applications;
2. Papers that are tightly related to ICLP and meet at least one of the following conditions:
- have been published in a journal but have not been presented at workshops or conferences;
- have been presented at conferences that are not typically attended by the ICLP community;
- have been presented at logic programming meetings with relatively limited attendance;
- have been accepted at high-profile conferences with some relation to logic programming
IMPORTANT DATES
All dates Anywhere-on-Earth (UTC-12).
- Paper submission (TC and RPR papers): April 3, 2026
- Notification to authors: May 4, 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
- Logic Programming Contest: July 21 or 22, 2026
SUBMISSION DETAILS
All submissions must be written in English. Accepted Technical Communications and Recently Published Research papers will be published by Electronic Proceedings in Theoretical Computer Science (EPTCS). The EPTCS format is described at: http://style.eptcs.org
Submissions may have one of two forms:
1) 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.
2) Recently Published Research (RPR) papers are at most 3 pages in EPTCS format, including references. There should be one single cover page listing the title, the authors, a complete reference to the original paper, an accessible URL from which the paper can be downloaded, and a list of keywords. The cover page must also contain a statement that the work on which the submission is based has not been already presented at a major logic programming forum (such as earlier ICLP, LPNMR, LOPSTR, LPAR). This cover page should be followed by a two-page extended abstract of the paper presenting the main contributions of the paper, discussing the relevance of the paper to logic programming, and explaining the significance of the results. The authors of accepted presentations will have the option to have their extended abstract included in the Technical Communications portion of the conference 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)
Reply all
Reply to author
Forward
0 new messages