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 from around the world.
ISLA is a biennial event of the Association of Logic in India (ALI).
The poster for the school is available here. For more details, visit the school website here.
Association for Logic in India 