[TYPES/announce] [Call for Papers: Doctoral Consortium] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning

[Antonio Ielo]

*** Please accept our apologies if you receive multiple copies of this CFP
***

The Doctoral Consortium (DC) of LPNMR 2026 will take place as part of the
18th International Conference on Logic Programming and Non-monotonic
Reasoning (LPNMR 2026), held in Klagenfurt, Austria, on September 7–11,
2026. (Website Link <https://urldefense.com/v3/__https://sites.google.com/unical.it/dclpnmr2026__;!!IBzWLUs!Wtx3GvoxJHaL--Py2X2a5I913Sa4PdHyAK414Q4J_aNgDNW2vnTnys6HH3hPiSfrreBg2yH8Qhej1lS9_godaAuuShzhu1CM1HuEAWI$ >)

GOALS

The DC aims to provide a dedicated forum for Ph.D. students working in
areas related to logic programming and non-monotonic reasoning. It offers
participants a stimulating and informal environment to engage with
established researchers and fellow students through research presentations,
discussions, and mentoring activities.

Each participant will present their research work and receive detailed
feedback.

The main objectives of the DC are:


   -

   To offer doctoral students a supportive and open setting in which to
   present their research ideas, learn about ongoing work by peers, and
   receive constructive feedback.
   -

   To provide insights into key aspects of doctoral studies and academic
   careers.
   -

   To foster a collaborative research environment and build a community of
   young scholars.
   -

   To support early-career researchers by offering guidance on academic,
   industrial, and alternative career paths.


To additionally promote the attendance of the LPNMR 2026 main conference,
accepted applicants may be waived the registration fees and receive partial
financial support for their travel and accommodation (the exact amount
depending on the available funding).



IMPORTANT DATES (Tentative)


   -

   Paper submission: June 30, 2026
   -

   Notification to authors: July 30, 2026
   -

   Camera-ready submission: August 7, 2026
   -

   Doctoral Consortium: September 7, 2026



TARGET AUDIENCE

The DC is primarily intended for students currently enrolled in a Ph.D.
program. However, applications from exceptional candidates (e.g., Master’s
students planning to pursue doctoral studies) will also be considered.

Students at any stage of their doctoral studies are welcome to apply.
Applicants are expected to conduct research in areas related to logic
programming. Topics of interest include, but are not limited to:


   -

   Foundations: Semantics, Formalisms, Nonmonotonic Reasoning, Knowledge
   Representation.
   -

   Languages: Concurrency, Objects, Coordination, Mobility, Higher-Order
   Programming, Types, Modes, Assertions, Modules, Meta-programming,
   Domain-specific Languages, Programming Techniques.
   -

   Declarative Programming: Program Development, Analysis, Type and Mode
   Inference, Partial Evaluation, Abstract Interpretation, Transformation,
   Validation, Verification, Debugging, Profiling, Testing, Reasoning,
   Visualization.
   -

   Implementation: Virtual Machines, Compilation, Memory Management,
   Parallel and Distributed Execution, Constraint Handling Rules, Tabling,
   Foreign Interfaces, User Interfaces.
   -

   Related Paradigms and Synergies: Neuro-symbolic AI, Machine Learning,
   Inductive and Co-inductive Logic Programming, Constraint Logic Programming,
   Answer Set Programming, Integration with SAT/SMT/CSP Solvers, Type
   Inference, Theorem Proving, Argumentation, Probabilistic Logic Programming,
   and connections to Object-Oriented and Functional Programming.
   -

   Applications: Databases, Big Data, Data Integration, Software
   Engineering, Natural Language Processing, Web and Semantic Web, Agents,
   Artificial Intelligence, Explainable AI, Life Sciences, Education,
   Cybersecurity, Planning, and Robotics.



SUBMISSION DETAILS

Submissions must be written in English and include a research summary
prepared in CEUR format (template
<https://urldefense.com/v3/__https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw__;!!IBzWLUs!Wtx3GvoxJHaL--Py2X2a5I913Sa4PdHyAK414Q4J_aNgDNW2vnTnys6HH3hPiSfrreBg2yH8Qhej1lS9_godaAuuShzhu1CMbhuaysA$ >),
consisting of 5–7 pages (excluding references), providing a clear overview
of the research.

The research summary should include:

   -

   Full name, affiliation, and contact information
   -

   Introduction and problem statement
   -

   Background and related work
   -

   Research objectives
   -

   Current status of the research
   -

   Preliminary results (if available)
   -

   Open issues and expected outcomes
   -

   References

Submissions must be made electronically in PDF format via EasyChair,
selecting the “LPNMR Doctoral Consortium 2026” track (link
<https://urldefense.com/v3/__https://easychair.org/conferences/?conf=lpnmr2026__;!!IBzWLUs!Wtx3GvoxJHaL--Py2X2a5I913Sa4PdHyAK414Q4J_aNgDNW2vnTnys6HH3hPiSfrreBg2yH8Qhej1lS9_godaAuuShzhu1CMxjftHOM$ >).

Students who have previously presented at LPNMR Doctoral Consortium may
reapply, provided that their submission reflects substantial progress or
significant updates.

REVIEW PROCESS AND SELECTION CRITERIA

Submissions will be evaluated by a program committee composed of experts in
the area of logic programming and non-monotonic reasoning. Each application
will be reviewed by at least two referees.

Selection will be based on:


   -

   Relevance to the scope of LPNMR
   -

   Clarity and completeness of the submission
   -

   Stage and maturity of the research
   -

   Potential contribution to the DC objectives
   -

   Evidence of research potential, such as publications or technical reports


Accepted applicants are expected to attend the DC and present their work in
presence.

-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://urldefense.com/v3/__https://www.unical.it/5x1000__;!!IBzWLUs!Wtx3GvoxJHaL--Py2X2a5I913Sa4PdHyAK414Q4J_aNgDNW2vnTnys6HH3hPiSfrreBg2yH8Qhej1lS9_godaAuuShzhu1CMSnt4JMw$ >

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260520/8ed8857a/attachment-0001.htm>