Tuesday, June 26, 2012

ICLA 2013: 5th Indian Conference on logic and its applications, Chennai, Jan 10-12, 2013: Call for papers

                         **Apologies for multiple posting**



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:

   Mirna Džamonja, University of East Anglia

   Joseph Halpern, Cornell University

   Agi Kurucz, King's College London

   Martin Otto, Technische Universität Darmstadt

   Mark Reynolds, University of Western Australia

   Adriane Rini, Massey University

   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/

The conference poster is available at http://www.imsc.res.in/~icla/poster.pdf

Programme Committee
-------------------

Mihir Kr. Chakraborty (ISI-Kolkata, Jadavpur University)
Roy T. Cook (University of Minnesota)
Rajeev Goré (The Australian National University, Canberra)
Kamal Lodaya (IMSc, Chennai), Chair
David C. Makinson (London School of Economics)
Johann A. 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