<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div> **Apologies for multiple posting**</div><div><br></div><div><br></div><div><br></div><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span>5th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS<br><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span>January 10--12, 2013<br><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span>The Institute of Mathematical Sciences,<br><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span>Chennai, India<br><br><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span>CALL FOR PAPERS<br><br>ALI, the Association for Logic in India, announces the next edition of<br>its biennial (International) Indian Conference on Logic and its Applications<br>(ICLA), to be held at the Institute of Mathematical Sciences, Chennai,<br>from January 10 to 12, 2013.<br><br>The conference proceedings are expected to be published in the Springer<br>Lecture Notes in Computer Science series.<br><br>ICLA is a forum for bringing together researchers from a wide variety of<br>fields that formal logic plays a significant role in, along with<br>mathematicians, philosophers and logicians studying foundations of<br>formal logic in itself. The conference has also included studies in<br>systems of logic in the Indian tradition, and historical research on<br>logic. See the ALI page (<a href="http://ali.cmi.ac.in/">http://ali.cmi.ac.in</a>) for information on past<br>events as well as updates on this conference.<br><br>The earlier events in this series featured many eminent logicians as<br>invited speakers, and we are pleased to announce that this year's<br>speakers will include:<br><br> Mirna Džamonja, University of East Anglia<br><br> Joseph Halpern, Cornell University<br><br> Agi Kurucz, King's College London<br><br> Martin Otto, Technische Universität Darmstadt<br><br> Mark Reynolds, University of Western Australia<br><br> Adriane Rini, Massey University<br><br> Gabriel Sandu, University of Helsinki<br><br><br>Scope<br>-----<br><br>Authors are invited to submit papers presenting original and unpublished<br>research in any area of logic and applications. Papers on topics of<br>current interest in pure and applied logic, foundations and philosophy<br>of mathematics and the sciences, set theory, model theory, proof theory,<br>areas of theoretical computer science, artificial intelligence and<br>other disciplines which are of direct interest to mathematical and<br>philosophical logic, as well as articles on the relationship between<br>logic and other branches of knowledge, or on history of logic,<br>are welcome.<br><br>Submitted papers will be peer-reviewed and accepted papers will be<br>published in the conference proceedings, which will be made available at<br>the time of the conference. The conference proceedings will appear as a<br>volume in the Springer Lecture Notes in Computer Science series.<br><br>************************************************************************<br>Deadline for Submission (in electronic form): 13 August 2012<br>Notification to Authors: 1 October 2012<br>Deadline for camera-ready papers: 22 October 2012<br>************************************************************************<br><br>Submission<br>----------<br><br>Authors may submit drafts of full papers or extended abstracts. The<br>submission must not exceed 12 pages in Springer-Verlag Lecture Notes<br>LaTeX style. If appropriate, proof details omitted in the paper may be<br>added in an appendix meant for the reviewers. Concurrent submissions to<br>other conferences/journals are not admissible.<br><br>For an accepted paper to be included in the proceedings, one of the<br>authors must commit to presenting the paper at the conference.<br><br>Important Links<br>---------------<br><a href="http://www.imsc.res.in/~icla">http://www.imsc.res.in/~icla</a><br><a href="http://ali.cmi.ac.in/">http://ali.cmi.ac.in/</a><br><br>The conference poster is available at <a href="http://www.imsc.res.in/~icla/poster.pdf">http://www.imsc.res.in/~icla/poster.pdf</a><br><br>Programme Committee<br>-------------------<br><br>Mihir Kr. Chakraborty (ISI-Kolkata, Jadavpur University)<br>Roy T. Cook (University of Minnesota)<br>Rajeev Goré (The Australian National University, Canberra)<br>Kamal Lodaya (IMSc, Chennai), Chair<br>David C. Makinson (London School of Economics)<br>Johann A. Makowsky (Technion)<br>Angelo Montanari (University of Udine)<br>Ranjan Mukhopadhyay (Visva Bharati, Santiniketan)<br>M. G. Nadkarni (IIT-Bombay)<br>Vineet Padmanabhan (University of Hyderabad)<br>Anand Pillay (University of Leeds)<br>R. Ramanujam (IMSc, Chennai)<br>Slawomir Solecki (University of Illinois, Urbana-Champaign)<br>Esko Turunen (Tampere University of Technology)<br>Rineke Verbrugge (University of Groningen)<br><br>Organization<br>------------<br><br>Sujata Ghosh (ISI Chennai)<br>Kamal Lodaya (IMSc, Chennai)<br>R Ramanujam (IMSc, Chennai), Chair<br>S P Suresh (CMI, Chennai)<br><br>Contact<br>-------<br><br>ICLA 2013<br>The Institute of Mathematical Sciences<br>CIT Campus<br>Chennai 600113, India<br>Email:<span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><a href="mailto:icla@imsc.res.in">icla@imsc.res.in</a><br>Phone: <span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span>+91 44 2254 3100<br>Fax: <span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span>+91 44 2254 1586<br>URL: <span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><a href="http://www.imsc.res.in/~icla">http://www.imsc.res.in/~icla</a><br><br></body></html>