Doctoral Consortium

Call For Papers

ICLP DC 2025 - 21st Doctoral Consortium (DC) on Logic Programming

University of Calabria, Rende, Italy | September 12-19, 2025

The 21st 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.
The DC will take place during the 41st International Conference on Logic Programming (ICLP) (September 12-19, 2025), hosted by the University of Calabria, Italy. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference.

We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. 

IMPORTANT DATES
(all times are 23:59 Anywhere On Earth, UTC-12)

However, DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming on Friday and Saturday, September 12-13, 2025: https://iclp25.demacs.unical.it/affiliated-events/autumn-school-on-logic-programming 

AUDIENCE

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):



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. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation.

DISCUSSANTS

Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants.

GOALS

SUBMISSION DETAILS

The DC is designed for students currently enrolled in a Ph.D. program, however Master's students who are actively involved in research (please see the list of topics below) can also participate in the DC program.


Applicants are expected to conduct research in areas related to logic and constraint programming.

Topics included, but not limited to:


Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. 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. Papers are reviewed by at least two, and usually three, referees.

The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system.

Easychair link: https://easychair.org/conferences/?conf=iclp25 (Doctoral Consortium track) 


Research summary (make sure to include your complete name, address, and affiliation):

The body of your research summary (no more than 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:

REVIEW CRITERIA

The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports.

REGISTRATION

Registration is part of the ICLP 2025 registration. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed.

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