The 13th Annual Conference of the Iranian Logic Association 

 

✳️ Call for Papers:

The 13th Annual Conference of the Iranian Logic Society will feature an attractive special section titled "Logic in Artificial Intelligence".

✳️ Invited Speakers: (From A to Z)

Brattka, Vasco / University of the Bundeswehr Munich
Macpherson, Dugald / University of Leeds
Yang, Yue / National University of Singapore (NUS)

We encourage all those interested in various fields of logic to submit short articles, following the guidelines for submitting articles to the Iranian Association for Logic conferences (HERE) ,to the following email address: This email address is being protected from spambots. You need JavaScript enabled to view it.

✳️ Submission Deadline: Jan 10, 2025 (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:
- Roshandel Tavana, Nazanin

✳️ Scientific Committee (From A to Z)
- 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:

• Call for Papers
• Annual Colloquium
• Logic& AI