ICLA 2013 Conference Proceedings is available online now!!

Fifth Indian Conference on Logic and its Applications
January 10–12, 2013,
Ramanujan Auditorium,
Institute of Mathematical Sciences, Chennai, India

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 10–12, 2013.

The ICLA 2013 conference proceedings is published as LNCS 7750 in the Springer Lecture Notes in Computer Science series. It is available online and click here for more information.

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 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:

A poster for the conference can be found here: Poster.


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 series of Springer Lecture Notes in Computer Science. .

Submissions to ICLA 2013 have closed now.

Important dates

Deadline for submission : 13 August 2012
Extended Deadline for submission (in electronic form): 24 August 2012
Notification of acceptance: 1 October 2012
Deadline for camera-ready paper: 22 October 2012


Authors may submit drafts of full papers or extended abstracts. The submission must not exceed 12 pages in Springer-Verlag Lecture Notes LaTeX2e 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. The LaTeX2e class file llncs.cls and other documentation can be downloaded from Springer's Information for LNCS Authors page. 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 contains appropriate templates. The Word document must be exported to PDF before being submitted.

For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.