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 the ISLA 2026, the 11th edition of ISLA, at Krea University, Sri City, Andhra Pradesh during Jun 25 – 30, 2026. The registration for ISLA 2026 is open. The school will be co-located with the Formal Methods Update Meeting (FM Update) 2026 that will take place on Jul 2 – 3, 2026.
The past editions of ISLA (and related schools) have been held at various venues across the country.
- IWSLA 2025: Dec 8 – 12, 2025; Venue: Birla Institute of Technology and Science (BITS), Pilani, K K Birla Goa campus (BITS Goa)
- 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 