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.

10th Indian School on Logic and its Applications (ISLA 2024)

The 10th Indian School on Logic and its Applications (ISLA) will take place at the Indian Institute of Technology Goa (IIT Goa) from June 3 – 7, 2024. The school will be held as an in-person event.

There will be two courses offered at the school, on Infinite Game Theory, and Automata and Semigroups. The school welcomes students from all over the world and from diverse fields of study, including Mathematics, Philosophy, Computer Science, Linguistics, and other related areas.

For more details, visit the school website here.