channel events

Stream: Lean Together 2025

[Notification Bot]

Web-public channel created by Riccardo Brasca. Description:

Information and discussion about the Lean Together 2025 meeting

[Riccardo Brasca]

Dear all,
this channel will be used to discuss the talks and everything else related to the conference.

Note that the (preliminary) schedule is now online.

If you are a speaker, please double check that the time slot is OK for you.

[Jireh Loreaux]

The Zoom link is available on the website (just click the title of a talk), but it is also here: https://imperial-ac-uk.zoom.us/j/93586929733?pwd=cu0W39ZbDes6NlbyaAbTCrzObz5bGN.1

[Julian Berman]

Perhaps it's worth mentioning in #announce or somewhere that the event kicks off in a half hour in case someone's forgotten (inconceivable, this is the event of the year!)?