The Indian Conference on Logic and its Applications (ICLA) is a biennial conference organized by the Association for Logic in India (ALI). Started in 2005 at IIT Bombay, ICLA serves as the only Indian forum dedicated to exploring formal logic in its varied aspects. The conference brings together researchers from a variety of fields in which formal logic plays a significant and often foundational role: Mathematics, Computer Science, Philosophical Logic, Philosophy, Linguistics and Cognitive Science. A special feature of this forum is the inclusion of studies in systems of logic in the Indian tradition, such as Nyāya, Vaiśeṣika, Mīmāṃsā, the Buddhist and Jain traditions, as well as historical research on logic.
The past editions of ICLA have been held at various venues across the country.
- ICLA 2025: Feb 3 – 5, 2025; Venue: Indian Statistical Institute Kolkata (ISI Kolkata)
- ICLA 2023: Mar 3 – 5, 2023; Venue: Indian Institute of Technology Indore (IITI)
- ICLA 2021: Mar 4 – 7, 2021; Venue: Online
- ICLA 2019: Mar 3 – 5, 2019; Venue: Indian Institute of Technology Delhi (IITD)
- ICLA 2017: Jan 5 – 7, 2017; Venue: Indian Institute of Technology Kanpur (IITK)
- ICLA 2015: Jan 8 – 10, 2015; Venue: Indian Institute of Technology Bombay (IITB)
- ICLA 2013: Jan 10 – 12, 2013; Venue: Institute of Mathematical Sciences Chennai (IMSc)
- ICLA 2011: Jan 9 – 11, 2011; Venue: Delhi University
- ICLA 2009: Jan 7 – 11, 2009; Venue: Institute of Mathematical Sciences Chennai (IMSc)
- ICLA 2007: Jan 9 – 11, 2007; Venue: Indian Institute of Technology Bombay (IITB)
- ICLA 2005: Jan 8 – 13, 2005; Venue: Indian Institute of Technology Bombay (IITB)
Association for Logic in India 