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.
Thorsten Altenkirch (Feb 22 2022 at 09:23):The Midland Graduate School is back from 10-14 April in Nottingham! With courses on category theory, type theory, logic and more! Including an invited course by Andrej Bauer on realisability. Book now to secure a place!
https://www.cs.nott.ac.uk/~psznk/events/mgs22.html
Please forward and repost!
Zanzi (Apr 15 2022 at 22:25):Hi @Thorsten Altenkirch I heard from Andrej that you were recording the talks? Are they going to be online somewhere?