<div dir="ltr"><div>Dear Colleagues in the Knowledge Representation Community,<br><br>We are pleased to invite submissions to NeLaMKRR 2025 — the Second International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning, which will be held in conjunction with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) in Melbourne, Australia, November 11–17, 2025.<br><br>This workshop explores how to bridge the gap between the structured precision of knowledge representation and the emerging capabilities of large language models (LLMs). As experts in ontologies, formal representations, and reasoning mechanisms, your contributions are vital to advancing this dialogue and ensuring that LLM-based systems can reason in ways that are principled, transparent, and reliable.<br><br>TOPICS OF SPECIAL INTEREST TO THE KR COMMUNITY include (but are not limited to):<br><br>- Representing and formalizing the reasoning behaviors of LLMs<br>- Integrating symbolic knowledge representation with neural language models<br>- Frameworks and methodologies for representing LLM reasoning within KR formalisms<br>- Deductive, inductive, and abductive reasoning as manifested in LLMs<br>- Verification and validation of LLM-based reasoning against formal KR standards<br>- Techniques for injecting structured knowledge into neural systems<br>- Comparing formal KR-based reasoning and informal, data-driven reasoning<br>- Applications of KR in domains demanding high reasoning precision (e.g., law, science, medicine)<br><br>We welcome contributions that bring rigorous, KR-informed approaches to understanding and improving the reasoning capabilities of language models. Both theoretical innovations and applied methodologies are encouraged.<br><br>Submission categories:<br><br>Regular papers: up to 9 pages<br>Short papers: up to 5 pages<br>Both should follow the KR 2025 formatting guidelines. We particularly encourage submissions that develop formal foundations for LLM reasoning or propose novel strategies for combining symbolic and neural paradigms within KR frameworks.<br>Important Dates:<br><br>Submission Deadline: August 1, 2025 (AOE)<br>Notification to Authors: August 21, 2025<br>Camera-ready Papers Due: September 11, 2025<br>Workshop Dates: November 11–13, 2025<br>Submission Portal:<br><a href="https://easychair.org/conferences/?conf=nelamkrr2025">https://easychair.org/conferences/?conf=nelamkrr2025</a><br><br>More details on scope, topics, and submission instructions can be found at:<br><a href="https://jurisinformaticscenter.github.io/NeLaMKRR2025/">https://jurisinformaticscenter.github.io/NeLaMKRR2025/</a><br><br>For questions, please contact Ha-Thanh Nguyen at <a href="mailto:nguyenhathanh@nii.ac.jp">nguyenhathanh@nii.ac.jp</a>.<br><br>We look forward to your contributions and to seeing you at KR 2025!<br><br>Best regards,<br>NeLaMKRR 2025 Organizing Committee<br>Ken Satoh (ROIS-DS, Japan)<br>Ha-Thanh Nguyen (NII, Japan)<br>Francesca Toni (Imperial College London)<br>Randy Goebel (University of Alberta)<br>Kostas Stathis (Royal Holloway)</div><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr" style="color:rgb(136,136,136)"><div dir="ltr"><p class="MsoNormal" style="color:rgb(34,34,34)">National Institute of Informatics<br></p><p class="MsoNormal"><font color="#222222">Nguyen Ha Thanh</font></p><p class="MsoNormal" style="color:rgb(34,34,34)"><span lang="EN-US"><u></u> <u></u></span></p><p class="MsoNormal" style="color:rgb(34,34,34)"><span lang="EN-US">2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430</span></p><p class="MsoNormal" style="color:rgb(34,34,34)"><span lang="EN-US">E-mail: <a href="mailto:nguyenhathanh@nii.ac.jp" style="color:rgb(17,85,204)" target="_blank">nguyenhathanh@nii.ac.jp</a></span></p></div></div></div></div></div>