Logic for the Friendship of Nations





In Celebration of the UNESCO World Logic Day 2022 and the
International Year of Basic Sciences and Sustainable Development




Time: January 14-15, 2022
Venue: Virtual via Zoom


In the year 2019, UNESCO has proclaimed 14 January World Logic Day in order to draw attention to the importance of logic in the development of knowledge. Also, the year 2022 is designated by UNESCO as the International Year of Basic Sciences and Sustainable Development. During the past few years, the World Logic Day ceremonies were largely limited to separate national events. A complete list of the World Logic Day events is available on the International Council for Philosophy and Humanistic Studies (CIPSH) website.


We, the representatives of several logic communities around the world, plan to change the trend and prepare the ground for the World Logic Day to become an international summit of logicians addressing aspects of human life that logical thinking can play a positive role in. We advocate for the role of the logical dialogue between people of different cultural backgrounds to enhance friendship and mutual understanding; a much-needed feature to tackle increasingly global problems that our planet faces in the unfolding century.

Logic for the Friendship of Nations is a global annual initiative in this direction by the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS) and its domestic and international partners including the United Nations Educational, Scientific and Cultural Organization (UNESCO), UNESCO Club at the University of Malaya, Centre for Civilizational Dialogue at the University of Malaya (UMCCD), Scandinavian Logic Society (SLS), Korean Association for Mathematical Logic (KAML), Logic Association of Malaysia (PMM), College of Arts at Al-Mustansiriya University, MOBIN Innovation Center at Arak University, and Malaysian Society for Philosophy Education and Thought (PPFPM).

Additionally, the event is intended to put researchers of different regions and disciplines, who normally don't interact with each other, in touch in order to make new professional and personal bonds. We encourage all interested associations and institutions around the world to join us in this global effort so that we can arrange even more comprehensive and inclusive events in the upcoming years.


Thomas Ågatnes,
University of Bergen, Norway

Mohua Banerjee,
Indian Institute of Technology Kanpur, India

Laura Crosilla
University of Oslo, Norway

Anuj Dawar,
University of Cambridge, United Kingdom

Jamshid Derakhshan,
University of Oxford, United Kingdom


Mirna Džamonja,
IRIF (CNRS & Université de Paris), France

Mohammad Mohsin Ebaish,
Al-Mustansiriya University, Iraq


Larry Moss,
Indiana University Bloomington, United States

Koji Nakatogawa,
Hokkaido University, Japan


Norbert Preining,
Fujitsu Research Labs

S.P. Suresh,
Chennai Mathematical Institute, India


Zu Yao Teoh,
Logic Association of Malaysia, Malaysia


Athipat Thamrongthanyalak,
Chulalongkorn University, Thailand


Layth Atheer Yousef,
Al-Mustansiriya University, Iraq

Nidal Zakir Azab,
Al-Mustansiriya University, Iraq

Martin Ziegler,
KAIST and the Korean Association for Mathematical Logic, Republic of Korea

Mohammad Alinor Abdul Kadir,
Malaysian Society for Philosophy Education and Thought, Malaysia

Ali Sadegh Daghighi,
Institute for Interdisciplinary Research in Fundamental Sciences, Iran

Øystein Linnebo
University of Oslo, Norway

Rohit Parikh,
City University of New York, United States


Esmaeil Peyghan,
Arak University, Iran


Mehran Shahmansouri,
Arak University, Iran

Zu Yao Teoh,
Logic Association of Malaysia, Malaysia

Layth Atheer Yousef,
Al-Mustansiriya University, Iraq



Conference Schedule:

Find the abstracts here.


January 14th, 2022

(07:30 – 08:00 UTC) Organizers: Introduction
(08:00 – 09:00 UTC) Laura Crosilla: The infinite, between philosophy and logic
(09:00 – 10:00 UTC) Thomas Ågotnes: Reasoning about Group Knowledge
(10:00 – 10:30 UTC) Break
(10:30 – 11:30 UTC) Martin Ziegler: Logic of Deterrence?
(11:30 – 12:30 UTC) Layth Atheer Yousef: Yasin Khalil ,the distinguished Iraqi Logician
(12:30 – 13:00 UTC) Break
(13:00 – 14:00 UTC) Mohua Banerjee: A journey through algebras of rough sets and their logics
(14:00 – 15:00 UTC) S.P. Suresh: Inference in Nyaya
(15:00 – 15:30 UTC) Break
(15:30 – 16:30 UTC) Jamshid Derakhshan: On some applications of mathematical logic in algebra and number theory
(16:30 – 17:30 UTC) Larry Moss: A Place for Logic in the Computer Processing of Language

January 15th, 2022

(07:30 – 08:00 UTC) Organizers
(08:00 – 09:00 UTC) Norbert Preining: Gödel Logics - a short survey
(09:00 – 10:00 UTC) Koji Nakatogawa: Cantor's paradise, Vairocana, and Tarski-Grothendieck-Lawvere Semantics
(10:00 – 10:30 UTC) Break
(10:30 – 11:30 UTC) Athipat Thamrongthanyalak: Trace problems in tame expansions of the real field
(11:30 – 12:30 UTC)  Zu Yao Teoh: Logic in Malaysia, A Journey
(12:30 – 13:00 UTC) Break
(13:00 – 14:00 UTC) Mohammad Mohsin Ebaish: The image of logician in Islamic culture
(14:00 – 15:00 UTC) Nidal Zakir Azab: Analytical reading on the logical books of Islamic Philosophers
(15:00 – 15:30 UTC) Break
(15:30 – 16:30 UTC) Anuj Dawar: Complexity and the Expressive Power of Logics
(16:30 – 17:30 UTC) Mirna Džamonja: Trees in set theory and contributions to the subject by the (ex-)Yugoslav mathematicians

Registration & Practical Information:

The event will take place virtually via Zoom online conference platform. Participation is free but registration is required. In order to register, please fill this form. You will receive the participation link via email a few days before the event. A certificate will be issued for all registered participants within a few weeks after the conference. So please make sure the information that you provide during your registration is accurate. Should you have any questions, reach out to the organizers via a.s.daghighi@gmail.com.



The poster. can you solve its dilemma? ;)