announcing move to web?

Stream: Lean for the curious mathematician 2020

[Jalex Stark]

This event already had a decent amount of advertising, I think? Where do we need to advertise that it is moving online?

[Johan Commelin]

I was thinking of announcing on the "eager-gen" mailing list, which is used for anything vaguely related to algebraic geometry and number theory in "Europe". Kevin and I know a lot of people on that list.

[Johan Commelin]

There is also a Dutch mailing list where I know a lot of people

[Johan Commelin]

Then there is mathseminars.org

[Rob Lewis]

I saw one email about this this morning! Did you hit other mailing lists yet? I'm sure the LOGIC list would be interested. Dunno if you want to hit other proof assistant lists too.

[Johan Commelin]

I only sent an email to the "old" participant list

[Johan Commelin]

But the plan is to send announcements to other lists today

[Patrick Massot]

The target is really general mathematicians. I have nothing against logicians but I certainly hope we won't have too many of them, as it would biased things in a direction which it totally different from what we have in mind.

[Patrick Massot]

The same applies to users of other proofs assistants, especially since very few of them are mathematicians.

[Kevin Buzzard]

I agree with what Patrick says. The people on the logic and foundations lists are in some sense not our target audience at all. The mathematical mailing lists I'm on however are specialised (eg number theory, algebraic geometry etc) so it's difficult to know whether to send it to them.

[Johan Commelin]

My plan was to send it to such lists (like EAGER) anyway. Just apologize that it's not NT or AG directly, but that they're still the intended audience.