The Indian School on Logic and its Applications (ISLA) is a biennial school on logic organized by the Association for Logic in India (ALI). Started in 2006 at IIT Bombay, ISLA, like its conference counterpart ICLA, serves as the only Indian school exploring formal logic in its various aspects. The school brings together researchers from diverse fields such as Mathematics, Computer Science, Philosophical Logic, Philosophy, Linguistics and Cognitive Science – fields in which formal logic plays a significant and often foundational role.
This year, ALI is organizing a school related to ISLA, called the Indian Winter School on Logic and its Applications (IWSLA) 2025. The school will take place at the Birla Institute of Technology and Science (BITS), Pilani, K K Birla Goa campus, during December 8 – 12, 2025. The registration for the school is now open.
The past editions of ISLA have been held at various venues across the country.
- ISLA 2024: Jun 3 – 7, 2024; Venue: Indian Institute of Technology Goa (IIT Goa)
- ISLA 2022: May 16 – 21, 2022; Venue: Indian Institute of Technology Kanpur (IITK)
- ISLA 2020: Dec 18 – 23, 2020; Venue: Indian Institute of Science Education and Research Bhopal (IISERB)
- ISLA 2018 (Part II): Dec 17 – 22, 2018; Venue: Indian Institute of Engineering Science and Technology Shibpur (IIESTS)
- ISLA 2018 (Part I): Sep 29 – Oct 3, 2018; Venue: Vellore Institute of Technology, Vellore (VIT Vellore)
- ISLA 2016 (Part II): Aug 22 – 27, 2016; Venue: Jadavpur University, Kolkata
- ISLA 2016 (Part I): Mar 21 – 26, 2016; Venue: PSG College of Technology, Coimbatore
- ISLA 2014: Jan 6 – 17, 2014; Venue: Tezpur University
- ISLA 2012: Jan 9 – 20, 2012; Venue: Manipal University
- ISLA 2010: Jan 18 – 29, 2010; Venue: University of Hyderabad
- ISLA 2008: Jan 14 – 26, 2008: Venue: Indian Institute of Technology Kanpur (IITK)
(Report in The Reasoner) - ISLA 2006: Jan 3 – 18, 2006; Venue: Indian Institute of Technology Bombay (IITB)
Association for Logic in India 