You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
সায়ন্তন রায় (Feb 12 2022 at 07:41):9th Indian School on Logic and its Applications, ISLA(Part-I), A Virtual School
https://sites.google.com/view/isla-2022-iitk/home
(May 16-21, 2022)
On behalf of the Association for Logic in India (ALI), the Department of Mathematics and Statistics, Indian Institute of Technology Kanpur (IITK) is pleased to organize 9th Indian School on Logic and its Applications (Part-I) in virtual mode. The theme of the school will be Logic and Dualities, and the lectures are roughly divided into streams, namely Stone-type dualities and categorical syntax-semantics dualities. The school 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.
Speakers
Stone-type dualities
Categorical syntax-semantics dualities
Web-Link: https://sites.google.com/view/isla-2022-iitk/home
Venue: Online
Poster: See here
Important Dates: Deadline for registration: March 15, 2022
Academic Program Committee:
Local Organizing Committee: