Category Theory
Zulip Server
Archive

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.


Stream: deprecated: logic

Topic: new website: Women in Logic


view this post on Zulip Valeria de Paiva (Feb 06 2022 at 16:28):

hi all, 14th Jan was World Logic Day (yes, there's one organized by UNESCO https://wld.cipsh.international/) and we launched a Women in Logic (WiL) website. WIL as a workshop has been going on since 2017 and you can read more about the workshops in https://sites.google.com/view/womeninlogic. Now it would be good to get more women in the spreadsheet Women in Category Theory(https://docs.google.com/spreadsheets/d/1lb3zW7Zk-KI0mY0x7dLZ0pHFeLLeobc5itTBrtVBwAo/edit#gid=0), please tell others about it!