BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2010/newsitem/2874/18- 29-January-2010-Third-Indian-School-on-Logic-and-i ts-Applications-Hyderabad-India DTSTAMP:20091018T000000 SUMMARY:Third Indian School on Logic and its Appl ications, Hyderabad, India DTSTART;VALUE=DATE:20100118 DTEND;VALUE=DATE:20100129 LOCATION:Hyderabad, India DESCRIPTION:The Indian School on Logic and Applica tions is a biennial event. The first school was he ld during January 2006 at IIT Bombay and the secon d school during January 2008 at IIT Kanpur. The ob jective is to present before graduate students and researchers of the country, some basics as well a s active research areas in logic. The School typic ally attracts students and teachers from mathemati cs, philosophy and computer science departments. T he School is complemented by a biennial conference . The third conference was held at IMSc, Chennai, this year and the proceedings published as LNAI 53 78. The 3rd School will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researche rs 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/isl a2010 or contact the organizers at icla at imsc.re s.in. The ISLA programme committee invites propo sals for workshops for the School, in the broad in terdisciplinary area connecting logic and the foun dations of mathematics with artificial intelligenc e, computing science and philosophy. The objective is to bring before students and faculty an active research theme. Deadline for workshop proposals: 31 May 2009. X-ALT-DESC;FMTTYPE=text/html:
\n

The I ndian School on Logic and Applications is a bienni al event. The\n first school was held duri ng January 2006 at IIT Bombay and the second\n school during January 2008 at IIT Kanpur. The objective is to present\n before graduate students and researchers of the country, some basi cs as\n well as active research areas in lo gic. The School typically attracts\n studen ts and teachers from mathematics, philosophy and c omputer science\n departments. The School is complemented by a biennial conference. The\n third conference was held at IMSc, Chennai, t his year and the\n proceedings published as LNAI 5378.\n

\n

The 3rd School w ill adopt a dual format: the mornings will consist of\n introductory courses on fundamental a spects of logic, by eminent\n researchers i n the area. The afternoons will have workshops, w hich can\n be of the nature of advanced tut orials, or presentations on research\n area s, in different aspects of logic and applications. \n

\n \n \n

The deadline for receiving applications is November 13, 2009.\n For more information, see\n h ttp://ali.cmi.ac.in/isla2010\n or conta ct the organizers at\n .\n

\n
\n

The ISLA progra mme committee invites proposals for workshops for the\n School, in the broad interdisciplinar y area connecting logic and the\n foundatio ns of mathematics with artificial intelligence, co mputing\n science and philosophy. The obje ctive is to bring before students and\n fac ulty an active research theme.\n Deadline f or workshop proposals: 31 May 2009.\n

\n
URL:/NewsandEvents/Archives/2010/newsitem/2874/18- 29-January-2010-Third-Indian-School-on-Logic-and-i ts-Applications-Hyderabad-India END:VEVENT END:VCALENDAR