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 2024

    Association for Logic in India (ALI), celebrated the World Logic Day in two parts across two days. The first part was held on January 20, 2024 in hybrid mode at the Madras School of Economics. The second part was on January 27, 2024 and was held online. The details of the events are given here. The World Logic Day is an…

  • World Logic Day Celebrations 2025

    As part of its celebrations of World Logic Day, the Association for Logic in India (ALI) conducted an online lecture by Prof. Shashi Mohan Srivastava on January 16, 2025. Lecture Details Speaker: Prof. Shashi Mohan Srivastava, IACS Kolkata and RKMVERI Belur, IndiaTitle: Recalling Vaught’s ConjectureDate: January 16, 2025Time: 18:00 ISTAbstract: Vaught’s conjecture states that the…

  • 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…