\n

URL:/NewsandEvents/Archives/2013/newsitem/4404/10-
12-January-2013-Indian-Conference-on-Logic-and-its
-Applications-ICLA-2013-Chennai-India
END:VEVENT
END:VCALENDAR
ALI, the Association for Logic in India, announces the next\n edition of its biennial (International ) Indian Conference on\n Logic and its Applic ations (ICLA), to be held at the Institute\n of Mathematical Sciences, Chennai, from January 10 to 12, 2013.\n ICLA is a forum for bringing together researchers from a wide\n variety of fields that formal logic plays a significant role in,\n along with mathematicians, philosopher s and logicians studying\n foundations of for mal logic in itself. The conference has also\n included studies in systems of logic in the Ind ian tradition,\n and historical research on l ogic.\n

\nThis year's speakers w ill include\n Joseph Halpern, Martin Otto, Ma rk Reynolds and Gabriel Sandu.\n

\n \n \n\n For more information, s ee the ICLA page at\n http://www.imsc. res.in/~icla\n and the ALI page at http:/ /ali.cmi.ac.in/,\n or email icla at imsc.res.in< /a>.\n