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

*** 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. 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://www.unical.it/5x1000> ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************