News and Events: Conferences

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

9-20 January 2012, Fourth Indian School on Logic and its Applications (ISLA 2012), Manipal, India

Date: 9-20 January 2012
Location: Manipal, India
Deadline: 8 September 2011

The Indian School on Logic and Applications is a biennial event. The previous editions of the school were held in IIT Bombay, IIT Kanpur, and University of Hyderabad. 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 fourth conference was held at Delhi University, in January 2011, and the proceedings published as LNCS 6521 in the FoLLI series. The 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 December 15, 2011. For more information, see http://ali.cmi.ac.in/isla2012/.

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: 8 September 2011.

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