Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

18-29 January 2010, Third Indian School on Logic and its Applications, Hyderabad, India

Date: 18-29 January 2010
Location: Hyderabad, India
Deadline: 31 May 2009

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, this year 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.

The deadline for receiving applications is November 13, 2009. For more information, see http://ali.cmi.ac.in/isla2010 or contact the organizers at .

The ISLA programme committee invites proposals for workshops for the School, in the broad interdisciplinary area connecting logic and the foundations of mathematics with artificial intelligence, computing science and philosophy. The objective is to bring before students and faculty an active research theme. Deadline for workshop proposals: 31 May 2009.

Please note that this newsitem has been archived, and may contain outdated information or links.