6th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS

                               January 8--10, 2015
                                IIT Bombay, India
             http://www.cse.iitb.ac.in/~icla15/index.html

                              FIRST CALL FOR PAPERS


ALI, the Association for Logic in India, announces the sixth edition of
its biennial International Conference on Logic and its Applications
(ICLA), to be held at the Indian Institute of Technology, Bombay,  from
January 8 to 10, 2015. ICLA 2015 will be co-located with the 14th Asian
Logic Conference to be held during January 5-8, 2015.

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. Details of the last ICLA (2013) may be found at
http://www.imsc.res.in/~icla/.

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:

    Steve Awodey, Carnegie Mellon University

    J. Michael Dunn, Indiana University Bloomington


Submission
----------

Authors are invited to submit papers presenting original and unpublished
research in any area of logic and applications.  Articles on mathematical
and philosophical logic, foundations and philosophy of mathematics and the
sciences, history of logic, Indian systems of logic, use of formal logic
in areas of theoretical computer science and artificial intelligence, or
on the relationship between logic and other branches of knowledge, are
welcome.

Submissions must be in English and should provide sufficient detail to
allow the programme committee to assess the merits of the paper. The
submission may not exceed 12 pages in Springer-Verlag Lecture Notes
LaTeX2e style (Springer's Information for LNCS Authors:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
If necessary, detailed proofs of technical results can be included in a
clearly marked appendix which may be read at the discretion of the
programme committee. The submission must be a PDF file.

Authors who use Microsoft Word to prepare their submissions should typeset
them in 11-pt Times New Roman, with single-line spacing, centered, and
with margins on all four sides that are at least 4cm wide. The manuscript
should not exceed 12 pages. Springer's Information for LNCS Authors page
(mentioned above) contains appropriate templates. The Word document must
be exported to PDF before being submitted.

All submissions will be in electronic form and submitted via easychair
submission system. Simultaneous submission to journals or to other
conferences with proceedings is not allowed. 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 Springer Lecture Notes in Computer Science; this will be confirmed
soon. For an accepted paper to be included in the proceedings, one of the
authors must commit to presenting the paper at the conference.


Important Dates
----------------
************************************************************************
Deadline for Submission:                                5 August 2014

Notification to Authors:                                30 September 2014

Deadline for camera-ready papers:                       17 October 2014
************************************************************************



Important Links
---------------
http://ali.cmi.ac.in
http://www.cse.iitb.ac.in/~icla15/index.html


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

S. Arun-Kumar (IIT Delhi)
Rupa Bandyopadhyay (Jadavpur University)
Mohua Banerjee (IIT Kanpur), co-chair
Nathalie Bertrand (INRIA Rennes Bretagne-Atlantique)
Mihir K. Chakraborty (ISI Kolkata and Jadavpur University)
Ivo Duentsch (Brock University)
Sujata Ghosh (ISI Chennai)
John Horty (University of Maryland)
Juliette Kennedy (University of Helsinki)
Krishna S. (IIT Bombay), co-chair
Benedikt Loewe (University of Hamburg and ILLC Amsterdam)
Paritosh Pandya (TIFR Mumbai)
R. Ramanujam (IMSc Chennai)
S.P. Suresh (Chennai Mathematical Institute)
Zach Weber (University of Otago)
Gregory Wheeler (LMU Munich)


Contact
-------
Any queries related to the conference may be sent to the following email
address: icla15@cse.iitb.ac.in