***

ICLP-DC 2026 - 22nd Doctoral Consortium on Logic Programming

***


The 22nd Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field.
This event will be part of the 42nd International Conference on Logic Programming (ICLP) (https://www.semsys.aau.at/events/iclp2026/), taking place in the first week of the 9th Federated Logic Conference (FLOC) in Lisbon, Portugal.

The preliminary website of the ICLP-DC can be found at: https://sites.google.com/view/iclp-dc-ss2026/call-for-papers


DESCRIPTION

The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to):
- Theoretical Foundations of Logic and Constraint Logic Programming
- Sequential and Parallel Implementation Technology
- Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification
- Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming)
- Innovative Applications of Logic Programming
- Neurosymbolic Approaches

Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work.
The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations.
For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions.
The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference.


IMPORTANT DATES

All dates are 'Anywhere on Earth', namely 23:59 UTC-12.
- Abstract registration: April 24, 2026
- Submission: May 1, 2026
- Notification: May 29, 2026
- ICLP DC: July 18, 2026


SUBMISSION DETAILS

Submissions of the research summary must be made in CEUR format (https://ceur-ws.org).
The CEUR Overleaf template can be found here: https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw

The submission package should consist of the research summary in the format mentioned below, a short vita or cover letter of the applicant and a letter of recommendation from the applicant's faculty advisor. All material is to be submitted electronically, in PDF format.
Submission link: https://submissions.floc26.org/iclp-dc-ss

Research summary (make sure to include your complete name, address, and affiliation):
The body of your research summary (between 5 and 6 pages) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections:
- Introduction and problem description
- Background and overview of the existing literature
- Goal of the research
- Current status of the research
- Preliminary results accomplished (if any)
- Open issues and expected achievements
- Bibliographical references


DC PROGRAM CO-CHAIRS

- Alice Tarzariol, University of Klagenfurt, Austria
- Markus Hecher, University of Artois, CNRS, Computer Science Research Center of Lens (CRIL), France


PROGRAM COMMITTEE

TBA