[FOM] icla 2009: First call for papers

Sujata Ghosh sujata22 at gmail.com
Tue May 13 01:32:04 EDT 2008


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

	      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 at imsc.res.in
Phone: 			+91 44 2254 1856
Fax: 			+91 44 2254 1586
URL: 			http://ali.cmi.ac.in/icla2009


More information about the FOM mailing list