[ICLP DC 2025 - Deadline Extended] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025

--00000000000044bbaa0637493143
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

 Dear all,

We are pleased to announce that the submission deadline for the Doctoral
Consortium has been extended to *JUNE 22, 2025*.


*[apologize for multiple postings]*

***
*Call for Papers - Deadline Extended*
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 website of
the DC can be found at:
https://iclp25.demacs.unical.it/workshops-school-and-dc/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 22, 2025 (EXTENDED)*

- 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/workshops-school-and-dc/autumn-school-on-lo=
gic-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, Argumentation, Probabilistic Logic
Programming, Neurosymbolic approaches, Relations to object-oriented and
Functional programming.

- Applications: Databases, Big Data, Data integration and federation,
Software engineering, Natural language processing, Web and Semantic Web,
Agents, Artificial intelligence, Computational life sciences, Education,
Cybersecurity, and Robotics.


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=3Diclp25 (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:

- 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



## 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

- Marina De Vos, University of Bath
- Carmine Dodaro, University of Calabria
- Wolfang Faber, University of Klagenfurt
- Francesco Fabiano, New Mexico State University
- Cristina Feier, Technical University of Cluj-Napoca
- Johannes Fichte, Link=C3=B6ping University
- Sarah Alice Gaggl, TU Dresden
- Laura Giordano, Universit=C3=A0 del Piemonte Orientale
- Eleonora Iotti, University of Parma
- Vladimir Lifschitz, University of Texas at Austin
- Yanhong Liu, Stony Brook University
- Marco Maratea, University of Calabria
- Jose Morales, IMDEA Software Research Institute
- Frank Valencia, LIX, Ecole Polytechnique
- Stefan Woltran, TU Wien

--=20
---------------------------------------------------------------------------=
---------------------------------------
Il banner =C3=A8 generato automaticamente dal servizio di posta elettronica=
=20
dell'Universit=C3=A0 della Calabria
 <https://www.unical.it/5x1000>


--00000000000044bbaa0637493143
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr">
<div>
<div>Dear all,</div><div><br></div><div>We are pleased to announce that the=
 submission <span>deadline</span>=C2=A0for the=C2=A0Doctoral Consortium has=
 been <span>extended</span>=C2=A0to=C2=A0<b>JUNE 22, 2025</b>. </div><br></=
div><div><span id=3D"m_-3782670070254049829m_-429352747209442443m_557919424=
3162724957m_8586417990802910777m_-6799393065861376134m_-3454677851097949964=
m_4663919262836356357gmail-docs-internal-guid-0d7b01de-7fff-1e64-6ca1-5eb3f=
61bced6"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);b=
ackground-color:transparent;font-variant-numeric:normal;font-variant-east-a=
sian:normal;font-variant-alternates:normal;vertical-align:baseline"><i><br>=
</i></span></span></div><div><span id=3D"m_-3782670070254049829m_-429352747=
209442443m_5579194243162724957m_8586417990802910777m_-6799393065861376134m_=
-3454677851097949964m_4663919262836356357gmail-docs-internal-guid-0d7b01de-=
7fff-1e64-6ca1-5eb3f61bced6"><span style=3D"font-size:11pt;font-family:Apto=
s;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal=
;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-ali=
gn:baseline"><i>[apologize for multiple postings]</i></span></span></div><d=
iv><span id=3D"m_-3782670070254049829m_-429352747209442443m_557919424316272=
4957m_8586417990802910777m_-6799393065861376134m_-3454677851097949964m_4663=
919262836356357gmail-docs-internal-guid-0d7b01de-7fff-1e64-6ca1-5eb3f61bced=
6"><span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);backgro=
und-color:transparent;font-variant-numeric:normal;font-variant-east-asian:n=
ormal;font-variant-alternates:normal;vertical-align:baseline"><i><br></i></=
span></span></div><div>***</div><div><b>Call for Papers - Deadline Extended=
</b></div>ICLP DC 2025 - 21st <span><span>Doctoral</span></span> Consortium=
 (DC) on Logic Programming<br>***<br><br>The 21st <span><span>Doctoral</spa=
n></span>
 Consortium (DC) on Logic Programming provides students with the=20
opportunity to present and discuss their research directions, and to=20
obtain feedback from both peers and experts in the field. The website of th=
e DC can be found at: <a href=3D"https://iclp25.demacs.unical.it/workshops-=
school-and-dc/doctoral-consortium" target=3D"_blank">https://iclp25.demacs.=
unical.it/workshops-school-and-dc/doctoral-consortium<br></a><br>The DC wil=
l take place during the 41st International Conference on Logic Programming =
(ICLP) <a href=3D"https://iclp25.demacs.unical.it/" target=3D"_blank">https=
://iclp25.demacs.unical.it/</a>
 (September 12-19, 2025), hosted by the University of Calabria, Italy.=20
The best paper from the DC will be given the opportunity to make a=20
presentation in a session of the main ICLP conference. <br><br>**We aim=20
to find sponsoring to cover the registration cost of students=20
participating in the DC, but this still has to be confirmed.** <br><br><br>=
## IMPORTANT DATES<br><br>- Paper submission: <b>June 22, 2025 (EXTENDED)</=
b><br><br>- Notification: July 6, 2025<br><br>- Camera-ready copy: August 6=
, 2025<br><br>- DC presentations: Sunday, September 12-13, 2025<br><br>Howe=
ver,
 DC students are highly recommended to attend the Autumn School on Logic
 Programming and Constraint Programming on: Friday and Saturday,=20
September 12-13, 2025: <a href=3D"https://iclp25.demacs.unical.it/workshops=
-school-and-dc/autumn-school-on-logic-programming" target=3D"_blank">https:=
//iclp25.demacs.unical.it/workshops-school-and-dc/autumn-school-on-logic-pr=
ogramming</a><br><br><br>## AUDIENCE<br><br>The
 DC is designed for students currently enrolled in a Ph.D. program,=20
though we are also open to exceptions (e.g., students currently in a=20
Master&#39;s program and interested in <span><span>doctoral</span></span> s=
tudies). Students at any stage in their <span><span>doctoral</span></span>
 studies are encouraged to apply for participation in the DC. Applicants
 are expected to conduct research in areas related to logic and=20
constraint programming; topics of interest include (but are not limited=20
to):<br><br>- Theoretical Foundations of Logic and Constraint Logic Program=
ming<br><br>- Sequential and Parallel Implementation Technology<br><br>- St=
atic and Dynamic Analysis, Abstract Interpretation, Compilation Technology,=
 Verification<br><br>- Logic-based Paradigms (e.g., Answer Set Programming,=
 Concurrent Logic Programming, Inductive Logic Programming)<br><br>- Innova=
tive Applications of Logic Programming<br><br>- Neuro-symbolic Approaches<b=
r><br>Submissions
 by students who have presented their work at previous ICLP DC editions=20
are allowed, but should occur only if there are substantial changes or=20
improvements to the student&#39;s work. The DC offers participants a=20
convenient, more informal way to interact with established researchers=20
and fellow students, through presentations, question-answer sessions,=20
panel discussions, and invited presentations. The <span><span>Doctoral</spa=
n></span>
 Consortium will also provide the possibility to reflect - through short
 activities, information sessions, and discussions - on the process and=20
lessons of research and life in academia. Each participant will give a=20
short, critiqued, research presentation.<br><br><br>## DISCUSSANTS<br><br>R=
enowned
 experts and researchers in the fields of logic and constraint=20
programming will join in evaluating submissions and will participate in=20
the DC, providing valuable feedback to DC participants. <br><br><br>## GOAL=
S<br><br>- To provide <span><span>doctoral</span></span>
 students working in the fields of logic and constraint programming with
 a friendly and open forum to present their research ideas, listen to=20
ongoing work from peer students, and receive constructive feedback.<br><br>=
- To provide students with relevant information about important issues for =
<span><span>doctoral</span></span> candidates and future academics.<br><br>=
- To develop a supportive community of scholars and a spirit of collaborati=
ve research.<br><br>-
 To support a new generation of researchers with information and advice=20
on academic, research, industrial, and non-traditional career paths.<br><br=
><br>## SUBMISSION DETAILS<br><br>The
 DC is designed for students currently enrolled in a Ph.D. program,=20
however Master&#39;s students who are actively involved in research (please=
=20
see the list of topics below) can also participate in the DC program.<br><b=
r>Applicants
 are expected to conduct research in areas related to logic and=20
constraint programming. Topics included, but not limited to:<br><br>- Found=
ations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representa=
tion.<br><br>-
 Languages: Concurrency, Objects, Coordination, Mobility, Higher Order,=20
Types, Modes, Assertions, Modules, Meta-programming, Logic-based=20
domain-specific languages, Programming Techniques.<br><br>- Declarative=20
programming: Declarative program development, Analysis, Type and mode=20
inference, Partial evaluation, Abstract interpretation, Transformation,=20
Validation, Verification, Debugging, Profiling, Testing, Execution=20
visualization.<br><br>- Implementation: Virtual machines, Compilation,=20
Memory management, Parallel/distributed execution, Constraint handling=20
rules, Tabling, Foreign interfaces, User interfaces.<br><br>- Related=20
Paradigms and Synergies: Inductive and Co-inductive Logic Programming,=20
Constraint Logic Programming, Answer Set Programming, Interaction with=20
SAT, SMT and CSP solvers, Logic programming techniques for type=20
inference and theorem proving, Argumentation, Probabilistic Logic=20
Programming, Neurosymbolic approaches, Relations to object-oriented and=20
Functional programming.<br><br>- Applications: Databases, Big Data, Data
 integration and federation, Software engineering, Natural language=20
processing, Web and Semantic Web, Agents, Artificial intelligence,=20
Computational life sciences, Education, Cybersecurity, and Robotics.<br><br=
><br>Submissions of the research summary must be made in EPTCS format (<a h=
ref=3D"http://info.eptcs.org/" target=3D"_blank">http://info.eptcs.org/</a>=
)
 and submitted via EasyChair. All papers must be written in English and=20
should be between 5 and 10 pages. For all accepted DC papers, the=20
student is required to attend the DC program and give a presentation=20
during the DC. A program committee consisting of experts in various=20
areas related to logic and constraint programming reviews the=20
submissions. Papers are reviewed by at least two, and usually three,=20
referees.<br><br>The submission package should consist of the research=20
summary in the format mentioned above, a short vita or cover letter of=20
the applicant, a letter of recommendation from applicant&#39;s faculty=20
advisor, and one paragraph statement outlining how the school will=20
benefit the applicant. All material is to be submitted electronically,=20
in PDF format on the Easychair system.<br><br>Easychair link: <a href=3D"ht=
tps://easychair.org/conferences/?conf=3Diclp25" target=3D"_blank">https://e=
asychair.org/conferences/?conf=3Diclp25</a> (<span><span>Doctoral</span></s=
pan> Consortium track)<br><br><br>Research summary (make sure to include yo=
ur complete name, address, and affiliation):<br><br>The
 body of your research summary (no more than 6 pages) should provide a=20
clear overview of your research, its potential impact, and its current=20
status. You are encouraged to include the following sections:<br><br>- Intr=
oduction and problem description<br><br>- Background and overview of the ex=
isting literature<br><br>- Goal of the research<br><br>- Current status of =
the research<br><br>- Preliminary results accomplished (if any)<br><br>- Op=
en issues and expected achievements<br><br>- Bibliographical references <br=
><br><br><br>## REVIEW CRITERIA<br><br>The
 DC program committee will select participants based on their=20
anticipated contribution to the DC objectives. Participants typically=20
have settled on their thesis directions and have their research proposal
 accepted by their thesis committee. Students will be selected based on=20
clarity and completeness of their submission package, relevance of their
 research area w.r.t. the focus of ICLP, stage of research,=20
recommendation letter, and evidence of promise towards a successful=20
career in research and academia, such as published papers or technical=20
reports.<br><br><br>## REGISTRATION<br><br>Registration is part of the ICLP=
 2025 registration.<br><br>We
 aim to find sponsoring to cover the registration cost of students=20
participating in the DC, but this still has to be confirmed.<br><br><br>## =
PROGRAM CO-CHAIRS<br><br>Alice Tarzariol, University of Klagenfurt, Austria=
<br><br>Markus Hecher, University of Artois, CNRS, Computer Science Researc=
h Center of Lens (CRIL), France<br><br><br><div>## PROGRAM COMMITTEE</div><=
div><br></div>
- Marina De Vos, University of Bath<br>
- Carmine Dodaro, University of Calabria<br>
- Wolfang Faber, University of Klagenfurt=C2=A0 =C2=A0 =C2=A0 =C2=A0<br>
- Francesco Fabiano, New Mexico State University<br>
- Cristina Feier, Technical University of Cluj-Napoca<br>
- Johannes Fichte, Link=C3=B6ping University<br>
- Sarah Alice Gaggl, TU Dresden<br>
- Laura Giordano, Universit=C3=A0 del Piemonte Orientale<br>
- Eleonora Iotti, University of Parma<br>
- Vladimir Lifschitz, University of Texas at Austin<br>
- Yanhong Liu, Stony Brook University<br>
- Marco Maratea, University of Calabria <br>
- Jose Morales, IMDEA Software Research Institute=C2=A0 =C2=A0 =C2=A0 =C2=
=A0<br>
- Frank Valencia, LIX, Ecole Polytechnique<br>
- Stefan Woltran, TU Wien

<div><br></div></div>
</div>

<br>
<div style=3D"font-family:Arial,Helvetica,sans-serif;font-size:1.3em">-----=
-------------------------<span></span><span></span><span></span><span></spa=
n><span></span><span></span><wbr>------------------------------<span></span=
><span></span><span></span><span></span><span></span><span></span><wbr>----=
--------------------------<span></span><span></span><span></span><span></sp=
an><span></span><span></span><wbr>------------------------</div><div><font =
face=3D"Arial, Helvetica, sans-serif"><span style=3D"font-size:13px">Il ban=
ner =C3=A8 generato automaticamente dal servizio di posta elettronica dell&=
#39;Universit=C3=A0 della Calabria</span></font></div><div><font face=3D"Ar=
ial, Helvetica, sans-serif"><span style=3D"font-size:13px"><a href=3D"https=
://www.unical.it/5x1000" target=3D"_blank"><img src=3D"https://www.unical.i=
t/media/medias/2024/5X1000_2024_mail_ok_20.webp" alt=3D"https://www.unical.=
it/5x1000"></a><br></span></font></div>
--00000000000044bbaa0637493143--