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).
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.
Paper submission: June 30, 2026
Notification to authors: July 30, 2026
Camera-ready submission: August 7, 2026
Doctoral Consortium: September 7, 2026
Submissions must be written in English and include a research summary prepared in CEUR format (template) in single column, 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).
Students who have previously presented at LPNMR Doctoral Consortium may reapply, provided that their submission reflects substantial progress or significant updates.
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.