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 Conference on Logic and its Applications 2027
(ICLA 2027)

The 12th edition of ICLA, ICLA 2027, will take place at the Indian Institute of Science (IISc), Bangalore during January 6 – 8, 2027 with pre-conference workshops on January 5, 2027.

The submission portal for ICLA 2027 is now open. The submission topics and guidelines can be found in the conference Call for Papers. The deadline for submissions is August 28, 2026 AoE.

Indian School on Logic and its Applications 2026
(ISLA 2026)

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

The following courses were offered at the school.

The school was attended by students and researchers from academia and industry, and from diverse fields including Mathematics, Philosophy, Computer Science, Linguistics and related areas. More details can be found at the ISLA 2026 website.

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…