Logic List Mailing Archive
3rd Indian Conference on Logic and its Application, Chennai (India), 7-11 Jan 2009
3rd INDIAN CONFERENCE ON LOGIC AND ITS APPLICATION
January 7--11, 2009
The Institute of Mathematical Sciences,
Chennai, India
http://ali.cmi.ac.in/icla2009
FIRST CALL FOR PAPERS
ALI, the Association for Logic in India, announces the next edition of its
biennial International Conference on Logic and its Applications (ICLA), to
be held at the Institute of Mathematical Sciences, Chennai, from January 7
to 11, 2009.
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.
The earlier events in this series featured many eminent logicians as
invited speakers, as will be the case this year as well. See
http://ali.cmi.ac.in for information on past events as well as updates on
this conference.
Scope
-----
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, 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. Of special interest are articles on historical
Indian systems of logic, especially in relation to modern logical studies.
Submitted papers will be peer-reviewed and accepted papers will be
published in the conference proceedings, which will be made available at
the time of the conference. It is expected that the conference proceedings
will appear as a volume in the FoLLI series of Springer Lecture Notes in
Artificial Intelligence; this will be confirmed soon.
************************************************************************
Deadline for Submission (in electronic form): 18 July 2008
Notification to Authors: 22 September 2008
Deadline for camera-ready papers: 10 October 2008
************************************************************************
Submission
----------
Authors may submit drafts of full papers or extended abstracts. The
submission must not exceed 12 pages in Springer-Verlag Lecture Notes
LaTeX style. If appropriate, proof details omitted in the paper may be
added in an appendix meant for the reviewers. Concurrent submissions to
other conferences/journals are not admissible.
For an accepted paper to be included in the proceedings, one of the
authors must commit to presenting the paper at the conference.
Important Links
---------------
http://ali.cmi.ac.in
http://ali.cmi.ac.in/icla2009
Programme Committee
-------------------
Natasha Alechina (University of Nottingham)
Mohua Banerjee (IIT Kanpur)
Agata Ciabattoni (TU Wien)
Jonardon Ganeri (University of Sussex)
Mai Gehrke (RU Nijmegen)
Kevin Kelly (CMU)
Kamal Lodaya (IMSc, Chennai)
Benedikt Loewe (ILLC, Amsterdam)
Lawrence Moss (Indiana University)
Ranjan Mukhopadhyay (Visva Bharati, Santiniketan)
Eric Pacuit (Stanford University)
Arun Kumar Pujari (University of Hyderabad)
N Raja (TIFR, Mumbai)
R Ramanujam (IMSc, Chennai), co-chair
K Ramasubramanian (IIT Bombay)
Sundar Sarukkai (NIAS, Bangalore), co-chair
Mark Siderits (Illinois State University)
Organization
------------
Sujata Ghosh (ISI Kolkata)
S Krishna (IIT Bombay)
Sunil Simon (IMSc, Chennai)
Arindam Singh (IIT Madras)
S P Suresh (CMI, Chennai), chair
Contact
-------
ICLA 2009
The Institute of Mathematical Sciences
CIT Campus
Chennai 600113, India
Email: icla@imsc.res.in
Phone: +91 44 2254 1856
Fax: +91 44 2254 1586
URL: http://ali.cmi.ac.in/icla2009