ICLA is a forum for bringing together researchers from a wi de variety of fields in which formal logic plays a significant role, along with mathematicians, comp uter scientists, philosophers and logicians studyi ng foundations of formal logic in itself. A specia l feature of this conference is the inclusion of s tudies in systems of logic in the Indian tradition and historical research on logic.
\nAuthors are invited to submit papers prese nting original and unpublished research in any are a of logic and applications. Articles on mathemati cal and philosophical logic, logic in computer sci ence, foundations and philosophy of mathematics an d the sciences, use of formal logic in areas of th eoretical computer science and artificial intellig ence, logic and linguistics, history of logic, Ind ian systems of logic, or on the relationship betwe en logic and other branches of knowledge, are welc ome.
\n\nAuthors may submit drafts of full papers or extended abstracts. Submitted papers wi ll be peer-reviewed and accepted papers will be pu blished in the conference proceedings. Concurrent submissions to other conferences/journals are not admissible.
\n