10-12 Jan 2013
Chennai, India
5th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS
January 10--12, 2013
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) Indian Conference on Logic and its Applications
(ICLA), to be held at the Institute of Mathematical Sciences, Chennai,
from January 10 to 12, 2013.
The conference proceedings are expected to be published in the Springer
Lecture Notes in Computer Science series.
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. The conference has also included studies in systems of
logic in the Indian tradition, and historical research on logic. See the
ALI page (http://ali.cmi.ac.in) for information on past events as well as
updates on this conference.
The earlier events in this series featured many eminent logicians as
invited speakers, and we are pleased to announce that this year's speakers
will include:
Joseph Halpern, Cornell University
Martin Otto, Technische Universitt Darmstadt
Mark Reynolds, University of Western Australia
Gabriel Sandu, University of Helsinki
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, set theory, model theory, proof theory,
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.
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 Springer Lecture Notes in Computer Science series.
************************************************************************
Deadline for Submission (in electronic form): 13 August 2012
Notification to Authors: 1 October 2012
Deadline for camera-ready papers: 22 October 2012
************************************************************************
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://www.imsc.res.in/~icla
http://ali.cmi.ac.in/
Programme Committee
-------------------
Mihir Chakraborty (ISI-Kolkata, Jadavpur University)
Roy Cook (University of Minnesota)
Rajeev Gore (The Australian National University)
Kamal Lodaya (IMSc, Chennai), Chair
David Makinson (London School of Economics)
Janos Makowsky (Technion)
Angelo Montanari (University of Udine)
Ranjan Mukhopadhyay (Visva Bharati, Santiniketan)
M. G. Nadkarni (IIT-Bombay)
Vineet Padmanabhan (University of Hyderabad)
Anand Pillay (University of Leeds)
R. Ramanujam (IMSc, Chennai)
Slawomir Solecki (University of Illinois, Urbana-Champaign)
Esko Turunen (Tampere University of Technology)
Rineke Verbrugge (University of Groningen)
Organization
------------
Sujata Ghosh (ISI Chennai)
Kamal Lodaya (IMSc, Chennai)
R Ramanujam (IMSc, Chennai), Chair
S P Suresh (CMI, Chennai)
Contact
-------
ICLA 2013
The Institute of Mathematical Sciences
CIT Campus
Chennai 600113, India
Email: icla@imsc.res.in
Phone: +91 44 2254 3100
Fax: +91 44 2254 1586
URL: http://www.imsc.res.in/~icla