Zulip Chat Archive

Stream: Leaning In!

Topic: Time and space are still available!


Jesse Alama (Feb 01 2025 at 10:01):

I'm happy to announce that the program is nearly full. Take a look to see what we're got in store. We still have space for a couple more talks, so if you'd like to show us what you're up to with Lean, please do consider submitting something! (Here is the call for presentations.)

I'm also happy to announce that we've secured a reservation at the nearby 3 Schwestern restaurant. Dinner is optional, of course. But if you'd like to continue the discussion after the workshop, you're welcome to join. (Dinner at the restaurant is to be paid separately and is not included in the registration fee.) I will be in touch with those of you who have already registered to ask whether you'd like to join us at 3 Schwestern.

Vlad Tsyrklevich (Feb 05 2025 at 09:57):

Just checking if you've sent this out, because I haven't seen it in my inbox and would love to join.

Jesse Alama (Feb 05 2025 at 10:01):

Vlad Tsyrklevich said:

Just checking if you've sent this out, because I haven't seen it in my inbox and would love to join.

I haven't sent it out yet -- but stay tuned! I'm a bit behind on things because I'm sick, unfortuantely. I can just manually add you to thel list of people who'd like to join us for dinner, though!

Jesse Alama (Mar 06 2025 at 04:31):

We've got just one week to go until Leaning In! 2025!

There's still space available for people to attend the event in person, so registration for in-person attendance is still open. Our program is set, though, so I'm afraid we don't have any more room for new talks. If you cannot make it in person, a remote registration option is available, too. Whether in-person or remote, just visit the homepage to find out more and register.

Looking forward to see you all next week!

Tainnor (Mar 12 2025 at 02:50):

Hi, I registered (and paid) some time last week but I never got any confirmation email.

Jesse Alama (Mar 12 2025 at 11:18):

Tainnor said:

Hi, I registered (and paid) some time last week but I never got any confirmation email.

I've sent you a DM to clarify the situation.


Last updated: May 02 2025 at 03:31 UTC