Zulip Chat Archive

Stream: general

Topic: broadcasting a cfp to the lean community

Sophie Tourret (Aug 19 2020 at 08:41):

Hello,

What is the appropriate way to broadcast a CfP to the lean community? For example, can I use the #announce stream here or do you have a dedicated mailing list?

Rob Lewis (Aug 19 2020 at 08:42):

#general is probably the best stream here!

Rob Lewis (Aug 19 2020 at 08:42):

We do have a mailing list but it's not used much.

Sophie Tourret (Aug 19 2020 at 08:43):

Ok, thanks! Then I will post it here.

Last updated: Dec 20 2023 at 11:08 UTC