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.
Valeria de Paiva (Jul 11 2024 at 05:52):This trimester program https://www.mathematics.uni-bonn.de/him/programs/current-trimester-program/him-trimester-program-prospects-of-formal-mathematics is going really well. We're in the Workshop: Bridging between informal and formal math.
We just had (over the weekend) the workshop "Women in formal Math" https://www.mathematics.uni-bonn.de/him/programs/special-events/women-in-formal-math. Check out the videos!
WiFM1.jpg
David Michael Roberts (Jul 11 2024 at 06:53):Is it possible to link directly to the videos? Or are they going to slowly land on YouTube like how the trimester program has been doing so far?
Todd Trimble (Jul 11 2024 at 16:38):Great to hear of the workshop "Women in formal Math". It really was striking to me how relatively few women participated at CT 2024.
Valeria de Paiva (Jul 12 2024 at 07:55):@David Michael Roberts I really don't know. I expect them to trickle down to youtube like the other HIM ones. and some might be missing altogether, as the recording equipment was playing up.
Valeria de Paiva (Jul 12 2024 at 07:56):Thanks @Todd Trimble ! It's a concern of mine, as you know.