Leave a comment

This is to announce the extension till 1 August, 2008, of the deadline
for submission to ICLA2009, the third Indian Conference on Logic and its
Application. Please spread this news to your colleagues and encourage
yourself/your friends to submit. The call for papers is attached for
your convenience.

S P Suresh (CMI, Chennai)
(on behalf of the Program Committee)

--------------------------------------------------------------------

        3rd INDIAN CONFERENCE ON LOGIC AND ITS APPLICATION
                January 7--11, 2009
            The Institute of Mathematical Sciences,
                Chennai, India

                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. The conference proceedings will appear as a
volume in the FoLLI series of Springer Lecture Notes in Artificial
Intelligence.

************************************************************************
Deadline for Submission (in electronic form): 1 August 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