\n

The I ndian School on Logic and Applications is a bienni al\n event. The previous editions of the scho ol were held in IIT\n Bombay, IIT Kanpur, and University of Hyderabad. The objective\n is to present before graduate students and researche rs of the\n country, some basics as well as a ctive research areas in logic.\n The School t ypically attracts students and teachers from\n mathematics, philosophy and computer science dep artments. The\n School is complemented by a biennial conference. The fourth\n conference was held at Delhi University, in January 2011, and \n the proceedings published as LNCS 6521 in the FoLLI series. The\n school will adopt a dual format: the mornings will consist of\n i ntroductory courses on fundamental aspects of logi c, by eminent\n researchers in the area. The afternoons will have workshops,\n which can be of the nature of advanced tutorials, or\n presentations on research areas, in different aspe cts of logic\n and applications.\n

\ n \n \nThe deadline for receiving \n applications is December 15, 2011. For more information, see\n http://ali.c mi.ac.in/isla2012/.\n

\n

URL:/NewsandEvents/Archives/2012/newsitem/4038/9-2
0-January-2012-Fourth-Indian-School-on-Logic-and-i
ts-Applications-ISLA-2012-Manipal-India
END:VEVENT
END:VCALENDAR
The ISLA programme committee invites propos als for workshops for the\n School, in the broad interdisciplinary area connecting logic and the\n foundations of mathematics with artif icial intelligence, computing\n science and philosophy. The objective is to bring before stu dents and\n faculty an active research them e. Deadline: 8 September 2011.\n

\n