News and Events: Conferences

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

10-12 January 2013, Indian Conference on Logic and its Applications (ICLA 2013), Chennai, India

Date: 10-12 January 2013
Location: Chennai, India
Deadline: 13 August 2012

ALI, the Association for Logic in India, announces the next edition of its biennial (International) Indian Conference on Logic and its Applications (ICLA), to be held at the Institute of Mathematical Sciences, Chennai, from January 10 to 12, 2013. ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. The conference has also included studies in systems of logic in the Indian tradition, and historical research on logic.

This year's speakers will include Joseph Halpern, Martin Otto, Mark Reynolds and Gabriel Sandu.

For more information, see the ICLA page at http://www.imsc.res.in/~icla and the ALI page at http://ali.cmi.ac.in/, or email .

Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Papers on topics of current interest in pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence and other disciplines which are of direct interest to mathematical and philosophical logic, as well as articles on the relationship between logic and other branches of knowledge, or on history of logic, are welcome. Deadline for Submission (in electronic form): 13 August 2012

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