Logic in AI

The 13th Annual Conference of the Iranian Logic Association 

✳️ Call for Papers:

The 13th Annual Conference of the Iranian Logic Society will be held in Iran University of Science and Technology at February 16-17, 2026 with an attractive special section entitled "Logic in Artificial Intelligence".

✳️ Invited Speakers: (From A to Z)

Abraham, Ajith / Sai University of India
Béziau, Jean-Yves / University of Brazil
Brattka, Vasco / University of the Bundeswehr Munich
Macpherson, Dugald / University of Leeds
Yang, Yue / National University of Singapore (NUS)

We encourage all those who are interested in various fields of logic to send their short articles by considering the guidelines for submitting articles to the Iranian Logic Society's conferences (HERE) to the following email address: [email protected].

✳️ Submission Deadline: December 21, 2025

✳️ Conference Topics:
Theoretical Approaches:
- Modern Logic (Mathematical and Philosophical)
- Traditional Logic
- Comparative Logic
- Informal Logic
- Philosophy of Logic

Applied Approaches:
- History of Logic
- Education of Logic
- Analytic and Linguistic Philosophy
- Scientific Methodology
- Critical Thinking

✳️ Special Section’s Topics:
Logic in Artificial Intelligence:
- Logic in Autonomous Systems
- Human-Robot Interaction Model with a Logical Approach
- Non-classical Logics in Machine Learning
- Explainable AI (XAI: Neuro-Symbolic Integration)
- Description Logics and Knowledge Representation
- Logic and Semantic Web
- Multi-Agent Reasoning
- Generative AI Reasoning Models
- Argumentation Mining
- Machine Thinking
- Logic for Ethical/Legal-based AI Frameworks
- Validation and Verification of Artificial Intelligence Systems with Logic
- Application of Extended Logics in Dynamic Environments

✳️ Scientific Directors:
- Minaei-Bidgoli, Behrouz
- Roshandel Tavana, Nazanin

✳️ Scientific Committee (From A to Z)
- Alaeiyan, Mehdi (Iran University of Science and Technology)
- Amirkhani, Mahnaz (Al-Zahra University)
- Ardeshir Larijani, Ebrahim (Iran University of Science and Technology)
- Bahrami, Saeedeh (IPM)
- Dastafshan, Alireza (Researcher and Lecturer in Analytical Philosophy)
- Eslami, Esfandiar (Shahid Bahonar University of Kerman)
- Ghari, Meghdad (University of Isfahan)
- Hosseini, Seyed Hassan (Sharif University of Technology)
- Minaei-Bidgoli, Behrouz (Iran University of Science and Technology)
- Mozayani, Nasser (Iran University of Science and Technology)
- Roshandel Tavana, Nazanin (Amir Kabir University of Technology)
- Seraji, Payam (Mathematics House of Isfahan)

✳️ Conference Date and Venue:
February 16-17, 2026; Artificial Intelligence and Robotics Group, Faculty of Computer Engineering, Iran University of Science and Technology