Third Indian School on Logic and its Applications
18–29 January 2010
University of Hyderabad, Gachibowli, India

ALI, the Association for Logic in India, announces the next edition of its biennial International School on Logic and its Applications (ISLA), to be held at the University of Hyderabad, Gachibowli, India, from 18–29 January 2010.

The Indian School on Logic and Applications is a biennial event. The first school was held during January 2006 at IIT Bombay and the second school during January 2008 at IIT Kanpur. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The third conference was held at IMSc, Chennai, in January 2009, and the proceedings published as LNAI 5378.

The 3rd School will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.