Dear Colleagues in the Logic Community, We warmly invite submissions to NeLaMKRR 2025 - the Second International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning, to be held as part of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) in Melbourne, Australia, November 11-17, 2025.
One of the key questions that this workshop addresses is how to bridge the gap between the precision of formal logical systems and the increasingly useful capabilities of large language models. As researchers in formal reasoning, proof theory, and knowledge representation, your expertise is crucial to advancing this important dialogue. TOPICS OF SPECIAL INTEREST TO THE LOGIC COMMUNITY: - Formalizing reasoning types exhibited by language models - Integration of symbolic logic with neural language processing - Knowledge representation frameworks for language model reasoning - Deductive, inductive, and abductive reasoning in LLMs - Formal verification of language model reasoning processes - Logic-based approaches to knowledge injection in neural systems - Comparative analysis of formal vs. informal reasoning paradigms - Applications requiring logical precision (legal reasoning, scientific domains) We seek contributions that demonstrate rigorous approaches to understanding and enhancing the reasoning capabilities of language models through formal methods. Both theoretical advances and practical applications are welcome. The workshop accepts regular papers (up to 9 pages) and short papers (up to 5 pages), formatted according to KR 2025 guidelines. We particularly encourage submissions that provide formal foundations for language model reasoning or propose novel integration strategies between symbolic and neural approaches. IMPORTANT DATES: - Submission Deadline: August 1, 2025 (AOE) - Author Notification: August 21, 2025 - Final Version Due: September 11, 2025 - Workshop: November 11-13, 2025 SUBMISSION PORTAL: https://easychair.org/conferences/?conf=nelamkrr2025 For details about the workshop scope and submission requirements, please consult: https://jurisinformaticscenter.github.io/NeLaMKRR2025/ Please direct any questions to Ha-Thanh Nguyen at nguyenhath...@nii.ac.jp<mailto:nguyenhath...@nii.ac.jp>. We look forward to receiving your contributions. Best wishes, NeLaMKRR 2025 Organizing Committee Ken Satoh (ROIS-DS, Japan), Ha-Thanh Nguyen (NII, Japan), Francesca Toni (Imperial College London), Randy Goebel (University of Alberta), and Kostas Stathis (Royal Holloway). -- National Institute of Informatics Nguyen Ha Thanh 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 E-mail: nguyenhath...@nii.ac.jp<mailto:nguyenhath...@nii.ac.jp> -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
