Author: Association for Logic in India

  • 10th Indian Conference on Logic and its Applications (ICLA 2023)

    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 from March 3 to 5, 2023, in hybrid mode. ICLA is a forum for bringing together researchers from a wide variety of fields…

  • 9th Indian School on Logic and its Applications (ISLA 2022)

    The Department of Mathematics and Statistics, Indian Institute of Technology Kanpur (IITK) is pleased to organize the 9th Indian School on Logic and its Applications (Part-I) in hybrid mode. The school will focus on Stone-type dualities and categorical syntax-semantics dualities and is open to participants interested in mathematics, computer science, philosophy, linguistics and other areas…

  • 9th Indian Conference on Logic and Applications (ICLA 2021, virtual mode)

    ALI announces the ninth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held online, from March 4 – 7, 2021. 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, linguists, computer scientists and…

  • World Logic Day Lectures

    UNESCO has announced that January 14 will be celebrated as World Logic Day. Here you can see the details of the celebrations happening all around the world. To celebrate this occasion, Association for Logic in India (ALI) (in co-ordination with Mathematics Teachers’ Association, India and Calcutta Logic Circle) is pleased to announce the following lectures.…