Picture (c) Michael Morak
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 2026), taking place in the first week of the 9th Federated Logic Conference (FLOC) in Lisbon, Portugal.
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.
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
Submissions of the research summary must be made in CEUR format.
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
Alice Tarzariol, University of Klagenfurt, Austria
Markus Hecher, University of Artois, CNRS, Computer Science Research Center of Lens (CRIL), France
TBA