Logic List Mailing Archive
CfP: AAAI 2026 Bridge Program - Logic & AI. 20-21 January, Singapore (Singapore)
===============
** Call for Papers **
===============
AAAI 2026 Bridge Program - Logic & AI
20-21 January 2026, Singapore EXPO
Submission deadlines: first-round 31 Oct. 2025, second-round 5 Dec. 2025
Important links:
* AAAI 2026 website: https://aaai.org/conference/aaai/aaai-26/
* Bridge Program website: https://sites.google.com/view/aaai-2026-lmreasoning
===============
Hosted by the Association for the Advancement of Artificial Intelligence (AAAI), the Annual AAAI Conference on Artificial Intelligence (AAAI) is one of the oldest and most comprehensive top-tier conferences in the field of AI. At AAAI 2026, a Bridge Program on "Logic & AI" will be featured.
===============
** Introduction **
===============
Ever since the birth of AI, logical and symbolic reasoning has played an indispensable role in knowledge representation, automated reasoning, and system verification. Even in contemporary AI systems driven by big data, structured symbolic techniques such as formal logic, rule-based systems, and knowledge graphs are still critical foundations for building controllable, trustworthy, and explainable AI systems, demonstrating tremendous potential through integration with Large Language Models (LLMs).
Meanwhile, albeit LLMs have achieved remarkable success in numerous natural language processing tasks, they still exhibit significant shortcomings in logical and symbolic reasoning: we cannot yet guarantee robust and consistent logical reasoning capabilities of the models; when addressing complex tasks requiring sophisticated reasoning, LLMs are prone to producing logical contradictions.
This two-day Bridge Program on Logic & AI aims to thoroughly explore and expand the intersection of AI and Logic. It will be a platform for systematic discussion about new applications of various logical methods in AI, with special interest in the logical and symbolic reasoning abilities of LLMs. We hope this Bridge Program will explore various approaches to enhancing the capabilities of LLMs in solving complex logical tasks. In addition, this exploration could serve as a valuable model for integrating neural networks with symbolic methods.
===============
** Topics **
===============
We welcome submissions from a wide range of fields including logic, AI, linguistics, and cognitive science. Topics of interest include, but are not limited to:
* Knowledge representation and epistemic logic
* Temporal logic and formal verification
* Deontic logic
* Causal reasoning
* Logic for information update
* Preference logic and logical modeling of recommendation
* Game logic and logics for multi-agent systems
* Reasoning under uncertainty and epistemic planning
* Non-monotonic logic and formal argumentation
* Inductive and abductive reasoning
* Automated reasoning and automated planning
* Theory and application of logical solvers
* Explainable AI
* Logical theories of AI
* AI and legal/normative reasoning
* Formal learning theory
* Formal semantics
* Logical question answering of LLMs
* Chain-of-thought reasoning of LLMs
* External tool-use (e.g., logic solvers) for LLM reasoning
* Logical consistency of LLMs
* Symbolic expressions and reasoning of LLMs
* Multi-turn interactions for LLM reasoning
* Multi-agent LLMs' reasoning
* Benchmarks and evaluation for logical reasoning of LLMs
===============
** Important Dates **
===============
* First-Round Submission Deadline: October 31, 2025
* First-Round Notification of Acceptance: November 14, 2025
* Second-Round Submission Deadline: December 5, 2025
* Second-Round Notification of Acceptance: December 20, 2025
All deadlines are specified in Anywhere on Earth (AoE).
===============
** Submission Guidelines **
===============
We welcome two types of papers:
* Full papers: Full-length research papers from 4 to 8 pages (excluding references and appendices);
* Short papers: research/position papers of up to 4 pages (excluding references and appendices).
Papers should be submitted in the AAAI format (https://aaai.org/authorkit26-1/). The review process will be single-blinded, and we welcome accepted and published papers. The contributions can be either *non-archival* or published upon the authors' choices. There will be Oral Presentation Awards, Outstanding Paper Awards, and one Best Paper Award for accepted papers with outstanding quality.
===============
** Submission Site **
===============
The bridge program uses OpenReview for paper submission and reviewing. The submission link is https://openreview.net/group?id=AAAI.org/2026/Bridge/LMReasoning.
===============
** Format of the Bridge **
===============
This is a **two-day** Bridge Program with keynote presentations of invited speakers, panel discussion, tutorials, oral paper presentations, and poster sessions.
===============
** Bridge Chairs **
===============
* Fenrong Liu, Tsinghua University
* Michael Witbrock, The University of Auckland
* Haoxuan Li, Peking University
* Mingming Gong, The University of Melbourne & MBZUAI
* Kun Zhang, Carnegie Mellon University & MBZUAI
* Peter Clark, Allen Institute for Artificial Intelligence
* Johan van Benthem, Stanford University & Tsinghua University
* Zhouchen Lin, Peking University
===============
** Bridge Organizers **
===============
* Fengxiang Cheng, University of Amsterdam
* Chuan Zhou, The University of Melbourne
* Zheng Chen, Hong Kong University of Science and Technology
* Hao Wang, Zhejiang University
* Fan Zhang, The Chinese University of Hong Kong
* Yifei Yang, Shanghai Jiao Tong University
* Xiang Li, Peking University
* Haocheng Yang, National University of Singapore
===============
** Contact **
===============
Email: aaai.2026.lmreasoning@gmail.com
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php