The 13th Annual Conference of the Iranian Association for Logic
✳️ Call for Papers
The 13th Annual Conference of the Iranian Association for Logic will be held with an attractive special section entitled "Logic in Artificial Intelligence".
We encourage all those who are interested in various fields of logic to send their articles extended abstract by considering the guidelines for submitting articles to the Iranian Association for Logic conferences to [email protected].
✳️ Submission Deadline: Jan 10, 2025 (December 21, 2025)
✳️ 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)
✳️ 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
Date: February 16-17, 2026
Place: Artificial Intelligence and Robotics Group, Faculty of Computer Engineering, Iran University of Science and Technology
