Formation of "Association for Logic in India"

The basic aim of the Association is to build a logic community in India, promote research and education in logic. A number of efforts have been made in this regard. Two conferences in IIT-Bombay (Jan 2005, 2007), a conference in Kolkata (Jan 2007)and a winter school in IIT-Bombay (Jan 2006), as well as the annual meetings of the Calcutta Logic Circle for several years have established a strong foundation for such community building efforts, and the Association can seek to build on this foundation. It will consciously seek to bring together researchers from Mathematics, Philosophy, Artificial Intelligence studies and Computer Science with common interests in Logic.

In addition, concerted efforts are being made to develop a Logic Base at IIT-Bombay. Clearly, such a Centre will greatly aid promotion of logic studies in the country, and the Association will seek to utilize such a resource.

Comments and suggestions are welcome. For more information, see http://ali.cmi.ac.in/. Email: ali at cmi.ac.in