*[apologize for multiple postings]*
***
ICLP DC 2025 - 21st Doctoral Consortium (DC) on Logic Programming
***
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
preliminary website of the DC can be found at:
https://iclp25.demacs.unical.it/affiliated-events/doctoral-consortium
The DC will take place during the 41st International Conference on Logic
Programming (ICLP) https://iclp25.demacs.unical.it/ (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
- Paper submission: June 1, 2025
- Notification: July 6, 2025
- Camera-ready copy: August 6, 2025
- DC presentations: Sunday, September 12-13, 2025
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):
- 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
- Neuro-symbolic 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. 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
- To provide doctoral students working in the fields of logic and
constraint programming with a friendly and open forum to present their
research ideas, listen to ongoing work from peer students, and receive
constructive feedback.
- To provide students with relevant information about important issues for
doctoral candidates and future academics.
- To develop a supportive community of scholars and a spirit of
collaborative research.
- To support a new generation of researchers with information and advice on
academic, research, industrial, and non-traditional career paths.
## 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:
- Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge
representation.
- Languages: Concurrency, Objects, Coordination, Mobility, Higher Order,
Types, Modes, Assertions, Modules, Meta-programming, Logic-based
domain-specific languages, Programming Techniques.
- Declarative programming: Declarative program development, Analysis, Type
and mode inference, Partial evaluation, Abstract interpretation,
Transformation, Validation, Verification, Debugging, Profiling, Testing,
Execution visualization.
- Implementation: Virtual machines, Compilation, Memory management,
Parallel/distributed execution, Constraint handling rules, Tabling, Foreign
interfaces, User interfaces.
- Related Paradigms and Synergies: Inductive and Co-inductive Logic
Programming, Constraint Logic Programming, Answer Set Programming,
Interaction with SAT, SMT and CSP solvers, Logic programming techniques for
type inference and theorem proving, Argumen
