<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">4th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS<br> January 9--11, 2011<br> Delhi University, India<br><br> <a href="http://ali.cmi.ac.in/icla2011">http://ali.cmi.ac.in/icla2011</a><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> REGISTRATION OPEN !!!<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><a href="http://ali.cmi.ac.in/icla2011/reg.php">http://ali.cmi.ac.in/icla2011/reg.php</a><br><br><br> CALL FOR PARTICIPATION<br><br>ALI, the Association for Logic in India, announces the fourth edition of<br>its biennial International Conference on Logic and its Applications<br>(ICLA), to be held at the Delhi University, from January 9 to 11, 2011.<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. A special feature of this conference is the<br>inclusion of studies in systems of logic in the Indian tradition, and<br>historical research on logic.<br><br>As part of ICLA 2011, two pre-conference workshops during Jan 5-8 are also<br>being planned - 'Logic and Philosophy Today' on January 5 an 6, 2011, and<br>'LogICCC Meets India' (<a href="http://www.illc.uva.nl/LogICCCMeetsIndia">http://www.illc.uva.nl/LogICCCMeetsIndia</a>)<br>on January 7 and 8, 2011. For more information on the respective<br>programmes, see<br><a href="http://ali.cmi.ac.in/icla2011/proglpt.php">http://ali.cmi.ac.in/icla2011/proglpt.php</a> and<br><a href="http://ali.cmi.ac.in/icla2011/proglccc.php">http://ali.cmi.ac.in/icla2011/proglccc.php</a>.<br><br>As in the earlier events in this series, we shall have eminent logicians<br>as invited speakers. For a list of invited speakers see<br><a href="http://ali.cmi.ac.in/icla2011/speak.php">http://ali.cmi.ac.in/icla2011/speak.php</a>.<br>For a list of accepted papers see <a href="http://ali.cmi.ac.in/icla2011/acc.php">http://ali.cmi.ac.in/icla2011/acc.php</a>.<br><br><br>Programme Committee<br>-------------------<br>Mohua Banerjee (IIT Kanpur), co-chair<br>Dietmar Berwanger (ENS Cachan)<br>Achim Blumensath (TU Darmstadt)<br>Richard Booth (University of Luxembourg, and Mahasarakham University,<br>Thailand)<br>Hans van Ditmarsch (University of Sevilla)<br>Didier Dubois (IRIT, Paul Sabatier University)<br>Valentin Goranko (Technical University of Denmark)<br>Wilfrid Hodges<br>Peter Jipsen (Chapman University)<br>Steven Lindell (Haverford College)<br>Benedikt Loewe (ILLC, Amsterdam)<br>Shahid Rahman (University of Lille 3)<br>R Ramanujam (IMSc, Chennai)<br>K Ramasubramanian (IIT Bombay)<br>Sundar Sarukkai (Manipal University)<br>Anil Seth (IIT Kanpur), co-chair<br>S P Suresh (Chennai Mathematical Institute)<br>Andrzej Szalas (Linkoeping University)<br>Katherine Thompson (University of Vienna)<br>Jouko Vaananen (University of Helsinki)<br>Scott Weinstein (University of Pennsylvania)<br><br><br>Organizing Committee<br>-------------------<br>Mohua Banerjee (IIT Kanpur)<br>Prof. Amitabha Gupta (IIT Bombay), chair<br>Kamal Lodaya (IMSc, Chennai)<br>Prof. Godabarisha Mishra (ICPR, Delhi)<br>R Ramanujam (IMSc, Chennai)<br>S P Suresh (Chennai Mathematical Institute)<br>Prof. Ashok Vohra (Delhi University)<br><br><br>Contact<br>-------<br>Any queries related to the conference may be sent to the following<br>email address: <a href="mailto:icla@cse.iitk.ac.in">icla@cse.iitk.ac.in</a>.</body></html>