Association for Logic in India

Association for Logic in India

Welcome to the home page of the Association for Logic in India!

ALI is an organization of researchers from various disciplines, and from various parts of India and abroad with an abiding interest in logic. The basic aim of the Association is to build a logic community in India, promote research and education in logic, and its applications. Learn more about ALI here.

ALI is actively involved in organizing a biennial conference and school that take place every alternate year. Learn more about the recent ALI events below and about the past events here and here.

Indian School on Logic and its Applications
(ISLA 2026)

The Indian School on Logic and its Applications (ISLA) 2026 will take place at Krea University, Andhra Pradesh, during 25 – 30 June 2026. The school will be co-located with the Formal Methods Update Meeting to take place on 2 – 3 July 2026.

The following courses will be offered at the school.

The school welcomes students and researchers from all over the world in academia and industry, and from diverse fields including Mathematics, Philosophy, Computer Science, Linguistics, Cognitive Science, and other related areas.

More details can be found at the ISLA 2026 website. The registration for the school is open.

Past Events

  • 10th Indian Conference on Logic and its Applications (ICLA 2023)

    ALI, the Association for Logic in India, announces the tenth edition of its biennial Indian Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Indore from March 3 to 5, 2023, in hybrid mode. ICLA is a forum for bringing together researchers from a wide variety of fields…

  • 9th Indian School on Logic and its Applications (ISLA 2022)

    The Department of Mathematics and Statistics, Indian Institute of Technology Kanpur (IITK) is pleased to organize the 9th Indian School on Logic and its Applications (Part-I) in hybrid mode. The school will focus on Stone-type dualities and categorical syntax-semantics dualities and is open to participants interested in mathematics, computer science, philosophy, linguistics and other areas…

  • 9th Indian Conference on Logic and Applications (ICLA 2021, virtual mode)

    ALI announces the ninth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held online, from March 4 – 7, 2021. ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, including mathematicians, philosophers, linguists, computer scientists and…

  • World Logic Day Lectures

    UNESCO has announced that January 14 will be celebrated as World Logic Day. Here you can see the details of the celebrations happening all around the world. To celebrate this occasion, Association for Logic in India (ALI) (in co-ordination with Mathematics Teachers’ Association, India and Calcutta Logic Circle) is pleased to announce the following lectures.…

  • 8th Indian School on Logic and its applications (ISLA 2020)

    The Indian Institute of Science Education and Research, Bhopal (IISERB) is pleased to organize ISLA 2020, the 8th Indian School on Logic and its Applications in online mode. The school is open to participants from around the world. The school will be held between 18-23 December 2020 and will focus on training in Set Theory…