Indian Conference on Logic and Its Applications

ALI, the Association for Logic in India, announces the tenth edition of its biennial Indian Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Indore. ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, including mathematicians, philosophers, computer scientists, linguists, logicians studying foundations of formal logic. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.