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