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.

Indian Winter School on Logic and its Applications
(IWSLA 2025)

The Indian Winter School on Logic and its Applications (IWSLA) 2025 will take place at the Birla Institute of Technology and Science (BITS), Pilani, K K Birla Goa campus, during December 8 – 12, 2025. The school will be held as an in-person event.

There will be two courses offered at the school.

  • An introduction to the interactive theorem prover Lean
  • The technique of set-theoretic forcing in mathematical logic

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 IWSLA 2025 website. The registration for the school is now 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…