[DL] [Call for Papers: Doctoral Consortium] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning
Antonio Ielo
antonio.ielo at unical.it
Wed Jun 17 10:49:14 CEST 2026
*** 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://sites.google.com/unical.it/dclpnmr2026>)
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://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw>),
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://easychair.org/conferences/?conf=lpnmr2026>).
Students who have previously presented at LPNMR Doctoral Consortium may
reapply, provided that their submission reflects substantial progress or
significant updates.
Students can also consider resubmitting contributions from other doctoral
consortiums.
In this case the contribution must be relevant for LPNMR and sent in its
original form by adding a footnote specifying the venue where it has been
published (or it is going to be published). Note that, non-original
contributions will not be included in the proceedings.
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.
PROGRAM COMMITTEE
Johannes P. Wallner TU Graz, Austria
Johannes K. Fichte Linköping University, Sweden
Alice Tarzariol Alpen-Adria-Universität Klagenfurt, Austria
Damiano Azzolini University of Ferrara, Italy
Marco Gavanelli University of Ferrara, Italy
Thomas Meyer University of Cape Town and CAIR, South Africa
Jose F. Morales IMDEA Software Research Institute, Spain
Matthias Thimm FernUniversität in Hagen, Germany
Marina De Vos University of Bath, United Kingdom
Stefan Woltran TU Wien, Austria
Daniela Inclezan Miami University, USA
Carmine Dodaro University of Calabria, Italy
Vladimir Lifschitz University of Texas at Austin, USA
Markus Hecher CNRS, Artois University (CRIL), France
Marco Maratea University of Calabria, Italy
--
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica
dell'Università della Calabria
<https://www.unical.it/5x1000>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20260617/2ed708cf/attachment-0001.htm>
More information about the dl
mailing list