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.

Recent Events

  • World Logic Day Celebrations 2026

    Association for Logic in India (ALI) celebrated World Logic Day 2026 by hosting an online symposium on January 24, 2026. The details of the symposium are below. Date: January 24 2026 (Saturday)Convenor: Sankha S. Basu, IIIT DelhiProgram: 11:00 – 11:30 Abhishek De: Infinite-valued Łukasiewicz logic with fixed points 11:45 – 12:15 K. Gopinath: The Didactic Value of Indian logic…

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

    The Indian Winter School on Logic and its Applications (IWSLA) 2025 took place at the Birla Institute of Technology and Science (BITS), Pilani, K K Birla Goa campus, during December 8 – 12, 2025. The school was held as an in-person event. There were two courses offered at the school. In addition, the school also…

  • 11th Indian Conference on Logic and its Applications (ICLA 2025)

    ALI, the Association for Logic in India, organized the eleventh edition of its biennial Indian Conference on Logic and its Applications (ICLA), at the Indian Statistical Institute (ISI) Kolkata during February 3 – 5, 2025. The conference saw participation from 11 countries and included students, academic researchers and industry professionals from diverse disciplines, particularly Mathematics, Computer Science and…