9^th Indian School on Logic and its Applications

The Department of Mathematics and Statistics, Indian Institute of Technology Kanpur (IITK) is pleased to organize the 9^th Indian School on Logic and its Applications (Part-I) in hybrid mode. Please click here to read the announcement related to offline participation.

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 details of the last edition of the school can be found here.

Poster for the school is available here.

For any queries, reach out to us at isla2022iitk@gmail.com

The live YouTube link can be found here when the sessions are running.

For YouTube links of the past sessions, go to Course Materials.

For memories of the school, go to Gallery.