ALI, the Association for Logic in India, announces the tenth edition of its biennial Indian Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Indore from March 3 to 5, 2023, in hybrid mode.
ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, including mathematicians, philosophers, computer scientists, linguists, logicians studying foundations of formal logic. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.
For more details, visit the conference website here.
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.
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.