Full Papers
Original research contributions with substantial technical depth and results.
NLP/CORE Unranked
IJCAI 2026
IJCAI 2026 Workshop on Logical and Symbolic Reasoning of Large Language Models
The IJCAI 2026 Workshop on Logic and Symbolic Methods in AI (LogiSymb) focuses on the integration of logic and symbolic reasoning techniques with modern AI methods. It aims to foster research that bridges formal logic, knowledge representation, and machine learning to advance robust, interpretable, and reasoning-capable AI systems.
Key deadlines
Verified September 9, 2026Full paper
June 7, 2026
AoE
Workshop timeline
Submission and decisions
Full paperKey deadline
June 7, 2026 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Short Papers
Concise presentations of promising ideas, preliminary results, or position papers.
Research areas in scope
01
Workshop Topics
Logic-based AISymbolic reasoning in machine learningKnowledge representation and reasoningNeuro-symbolic AIAutomated theorem provingConstraint satisfaction and optimizationExplainable AI using symbolic methodsHybrid architectures combining neural and symbolic systemsFormal verification of AI systemsLogic programming and AI
Policies worth checking twice
- Submissions must be anonymized for double-blind review.
- Papers must not exceed 8 pages for full papers and 4 pages for short papers, including references.
- Dual submission to other conferences or journals is not permitted during review.
- Author lists and affiliations cannot be changed after the submission deadline.
- Authors must include a statement on the use of AI tools in the preparation of the paper.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026