Welcome to the home page of the Association for Logic in India! ALI is an orgnization 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 organising a biennial conference and school that take place every alternate year. Learn more about ALI events here.

8th Indian School on Logic and its applications (ISLA 2020)

The Indian Institute of Science Education and Research, Bhopal (IISERB) is pleased to organize ISLA 2020, the 8th Indian School on Logic and its Applications in online mode. The school is open to participants from around the world.

The school will be held between 18-23 December 2020 and will focus on training in Set Theory and Logic: completeness and incompleteness theorems. Participants from all around the globe interested in Mathematics, Philosophy, Computer Science, Linguistics, and other related areas are welcome.

ISLA is a biennial event of the Association of Logic in India (ALI). Past editions of the school were held in Jadavpur University, PSG College of Technology, IIT Bombay, IIT Kanpur, University of Hyderabad, Manipal University, Tezpur University and IIEST Shibpur. 

For any queries, write to us at

Click here to go to the school website and here for the poster.