ALI

About ALI

ALI was formed with the basic aim of building a logic community in India, promoting research and education in logic, and its applications, seeking to build on the foundation provided by the annual meetings of the Calcutta Logic Circle, which have been happening for a number of years, and importantly, the first two editions of the Indian Conference on Logic and its Applications at IIT Bombay (January 2005 and January 2007), the International Conference on Logic, Navya-Nyaya and Applications at Kolkata in January 2007, and the first edition of the Indian School on Logic and its Applications at IIT Bombay in January 2006.

ALI is being registered as a non-profit Society under the Societies' Registration Act of the Government of India

ALI expects to engage in a wide variety of activities, the primary activity being holding workshops/advanced schools/state-of-the-art seminars and conferences in various areas of logic. In particular, ALI expects to continue organizing the biennial Indian Conference on Logic and its Applications (ICLA), as well as the biennial Indian School on Logic and its Applications (ISLA) in alternate years, in India.


Objectives

The broad aims and objectives of ALI are listed below.

More details can be found in the ALI constitution (PDF | HTML).

ALI office bearers

ALI has an executive committee consisting of the following members:

The ALI council has the following members: