18-29 Jan 2010
Hyderabad, India
ISLA 2010 Call for Workshops ---------------------------- Third Indian School on Logic and its Applications January 18--29, 2010 University of Hyderabad, Gachibowli, India ALI, the Association for Logic in India, announces the 3rd Indian School on Logic and Applications in Hyderabad. This announcement is also a call for workshop proposals. 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 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. A workshop proposal should consist of a short scientific summary of the topic to be covered, proposed duration (3 to 7 hours), an organizer and expected speakers. As an example, a workshop could aim for 90 minutes on three successive afternoons, with 45-minute talks distributed among six speakers. No published proceedings are planned, but short abstracts (1 to 5 pages) of the material presented are expected, for distribution among the participants. Workshop speakers will be provided accommodation at the University of Hyderabad guest house. The programme committee will consider all proposals received by May 31 and make a selection keeping in view the expected participation and the logistics. *************** Important dates *************** Workshop proposals: 31 May 2009 Notification: 8 June 2009 School: 18--29 January 2010 *********************** Invited Course Speakers *********************** Hans van Ditmarsch (Otago) Antony Galton (Exeter) Valentin Goranko (Johannesburg) (tentative) Neil Immerman (UMass, Amherst) Steven Lindell (Haverford) Tobias Nipkow (TU Munchen) ******************* Programme Committee ******************* Mihir Chakraborty (Calcutta), co-chair Kamal Lodaya (IMSc), co-chair Paritosh Pandya (TIFR) Arindama Singh (IIT Madras) ******************** Organizing Committee ******************** Vineet Padmanabhan (UoHyd), chair Email: icla at imsc.res.in Webpage: http://ali.cmi.ac.in/isla2010